# JXAPI server
-+norbert.openstreetmap:128.40.168.100
-+jxapi.openstreetmap:128.40.168.100
-+norbert.ilo.openstreetmap:10.0.0.55
++jxapi.openstreetmap:128.40.168.108:600
+norbert.ucl.openstreetmap:10.0.0.5
+norbert.oob.openstreetmap:10.0.1.5
+zark.ucl.openstreetmap:10.0.0.8
+zark.oob.openstreetmap:10.0.1.8
+# Taginfo server
+
++grindtooth.openstreetmap:128.40.168.100
++taginfo.openstreetmap:128.40.168.100
++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
# 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
# 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