597
In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico
(community.openstreetmap.org)
This is a most excellent place for technology news and articles.
Personally I'd prefer it if they spent all four years renaming things to Mount Hitler or whatever instead of doing anything actual.
If it was left up to Trump he probably would. I don't think he's entirely sane at this point, unfortunately there are plenty of people manipulating things behind the scenes and they do have plans.