Tidy up some openstreetmap.org DNS entries.