+zark.ucl.openstreetmap:10.0.0.8
+zark.oob.openstreetmap:10.0.1.8
+# Taginfo server
+
+#+grindtooth.openstreetmap:128.40.168.108
+#+taginfo.openstreetmap:128.40.168.108
++grindtooth.ucl.openstreetmap:10.0.0.19
++grindtooth.oob.openstreetmap:10.0.1.19
+
# Mapnik tile server, with wildcard alias to allow parallel loading
+orm.openstreetmap:193.63.75.98
+sarel.ucl.openstreetmap:10.0.0.12
+sarel.oob.openstreetmap:10.0.1.12
+# Forum server
+
++clifford.openstreetmap:128.40.168.98
++clifford.ucl.openstreetmap:10.0.0.17
++clifford.oob.openstreetmap:10.0.1.17
+
+# Loan machine for emacsen
+
++ascalon.openstreetmap:128.40.168.105
++ascalon.ucl.openstreetmap:10.0.0.18
++ascalon.oob.openstreetmap:10.0.1.18
+
# Spare machines
+puff.ucl.openstreetmap:10.0.0.10
+puff.oob.openstreetmap:10.0.1.10
-+idris.openstreetmap:128.40.168.98
+idris.ucl.openstreetmap:10.0.0.4
+idris.oob.openstreetmap:10.0.1.4
# Forum server
-+forum.openstreetmap:93.186.179.231
++forum.openstreetmap:93.186.179.231:600
# Bytemark machine, and the services which operate from it
# Donation site
-+donate.openstreetmap:89.145.67.86:600
++donate.openstreetmap:46.43.50.94:600
# DMCA Notice site
-+dmca.openstreetmap:89.145.67.86:600
++dmca.openstreetmap:46.43.50.94:600
# HOT site
# Jochen Topf's taginfo service, running on openstreetmap.de hardware
-+taginfo.openstreetmap:85.214.112.59
-3taginfo.openstreetmap:2a01023840000000002168799ac19e7e
++taginfo.openstreetmap:85.214.112.59:600
+3taginfo.openstreetmap:2a01023840000000002168799ac19e7e:600