-+dev.openstreetmap.org:128.40.58.205
-+*.dev.openstreetmap.org:128.40.58.205
-+dev.internal.openstreetmap.org:10.0.0.5
-
-# Planet dumps are currently served from dev
-
-+planet.openstreetmap.org:128.40.58.205
++old-dev.openstreetmap.org:128.40.168.100
++*.old-dev.openstreetmap.org:128.40.168.100
++old-dev.internal.openstreetmap.org:10.0.0.5
+
++errol.openstreetmap.org:128.40.168.103
++dev.openstreetmap.org:128.40.168.103
++*.dev.openstreetmap.org:128.40.168.103
++ooc.openstreetmap.org:128.40.168.103
++a.ooc.openstreetmap.org:128.40.168.103
++b.ooc.openstreetmap.org:128.40.168.103
++c.ooc.openstreetmap.org:128.40.168.103
++npe.openstreetmap.org:128.40.168.103
++os.openstreetmap.org:128.40.168.103
++a.os.openstreetmap.org:128.40.168.103
++b.os.openstreetmap.org:128.40.168.103
++c.os.openstreetmap.org:128.40.168.103
++errol.ilo.openstreetmap.org:10.0.0.64
+
+# Foundation server
+
++ridley.openstreetmap.org:128.40.168.102
++otrs.openstreetmap.org:128.40.168.102
++blog.openstreetmap.org:128.40.168.102
++foundation.openstreetmap.org:128.40.168.102
++ridley.internal.openstreetmap.org:10.0.0.3