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:
A checkbox labelled “Triggered” on the phone.