President Donald Trump just said during his inauguration that he wants to rename the Gulf of Mexico to the Gulf of America. Aside from the political aspects, how does that even work? How does OSM choose a source for that? I’m curious! Also, somebody executed what I thought while I wrote this post:
As of revision version #85, OpenStreetMap has the following tags for Golfo de México:
They could add a snowflake option that when activated makes it display as Gulf of America.
A checkbox labelled “Triggered” on the phone.