As of revision version #85, OpenStreetMap has the following tags for Golfo de México:

  • name:en Gulf of Mexico
  • official_name:en-US Gulf of America
  • RxBrad@infosec.pub
    link
    fedilink
    English
    arrow-up
    6
    ·
    25 days ago

    Such a weird thing for everyone to fixate on and lose their shit. Let our dumbass en-US selves do whatever “official” dumbass thing we have to with the name.

    Everyone else can leave it what it always was.

    Next time there’s a Democrat U.S. President, the “en-US” term will be changed back to Gulf of Mexico.

    This is stupid.