515
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.
Yeah I feel like there needs to be a huge asterisk by name declarations that, while formal/official in the barest sense, are blatantly arbitrary.