Krakow Mint? [solved]

I posted this list recently, and now while responding to the new "Contribute" feature, I was reminded we do not have the main Polish mint (Krakow) for the first 750 years of Polish numismatics in our mint dropdown list
https://en.numista.com/forum/topic117473.html

I know we are in a situation where the master refs who can correct this are crazy busy, and we are all grateful for everything they are doing, so I am not trying to jump the queue. But, as a practical matter, I could add the mint at the same time that I am adding the size for the Polish coins that showed up in my "Contribute" list.

In case this helps, the four most important:
Krakow
Warsaw
Gdansk
Bydgoszcz