I was curious about Open Street Maps, since anyone can edit it.
Gulf of America comes up specifically as an official name for US, and there is also a note about how if you change the English name without agreement in the discussion then it will be reverted:
It seems the general consensus is that the US have that as an official name, but it's not the common English name so name:en stays as the Gulf of Mexico.
1. Be civilNo trolling, bigotry or other insulting / annoying behaviour
2. No politicsThis is non-politics community. For political memes please go to !politicalmemes@lemmy.world3. No recent repostsCheck for reposts when posting a meme, you can only repost after 1 month
4. No botsNo bots without the express approval of the mods or the admins
5. No Spam/AdsNo advertisements or spam. This is an instance rule and the only way to live.
I was curious about Open Street Maps, since anyone can edit it.
Gulf of America comes up specifically as an official name for US, and there is also a note about how if you change the English name without agreement in the discussion then it will be reverted:
Discussion is here: https://community.openstreetmap.org/t/gulf-of-america-gulf-of-mexico/124571
It seems the general consensus is that the US have that as an official name, but it's not the common English name so name:en stays as the Gulf of Mexico.