Mint additions

Can the Darmstadt mint be added, as in the comments of this coin: https://en.numista.com/catalogue/pieces10400.html

Can the Seoul, South Korea mint be added, as in the comments of this coin: https://en.numista.com/catalogue/pieces2217.html

The Buenos Aires mint shows up as "Buenos Aires, Argentine". I was wondering if this was an error regarding the spelling of Argentina, or if this is intentional.

Can the Pretoria, South Africa Mint be added, as in the year lines of this coin: https://en.numista.com/catalogue/pieces18643.html

This is under the wrong ticket. Please re-post this as a request to modify a mint (it will not get lost there, and those who have the power to deal with this can actually deal with it).