DNS revert dev.openstreetmap.org to old-dev, move broke dev.osm.org/~users. Move...