CIRCLE WITH A DOT

@rozeboosje @DemocracyMattersALot localization should be a thing. It depends on what your local government accepts as "truth". Simply flipping your VPN also might not reveal the correct answer, as you might have cached tiles, etc...

My point is, no matter how stupid the decision to change the name is, it *is* an officially recognized name change.

@DemocracyMattersALot place and feature names on maps are usually the officially recognized names. Trump passed a law, as moronic as it is, and now we have a new name that these companies use. My map company does the same thing.

Not defending Trump, just explaining how maps are made.