-Aside from the servers mentioned in <ref id="server-machines">, the
-following machines are, or may be made, available to you. If an email
-address is listed, generally that person is the party to contact about
-issues on the machine. Otherwise, the machine is probably managed by
-<email>debian-admin@debian.org</email>.
-
-<taglist>
- <tag><tt>faure.debian.org</tt></tag>
- <item>
-An Alpha; if you have an account on <tt>master</tt>, you probably
-already have an account here.
-
- <tag><tt>kubrick.debian.org</tt></tag>
- <item>
-A SPARC; if you have an account on <tt>master</tt>, you probably
-already have an account here.
-
- <tag><tt>pandora.debian.org</tt></tag>
- <item>
-An i386; if you have an account on <tt>master</tt>, you probably
-already have an account here.
-
- <tag><tt>albert.debian.org</tt></tag>
- <item>
-An Alpha; you probably want to use <tt>faure</tt> instead, but you may
-request an account from <email>debian-admin@debian.org</email>.
-
- <tag><tt>powerpc.debian.org</tt></tag>
- <item>
-A PowerPC; also known as <tt>tervola.infodrom.north.de</tt>. You may
-request an account from <email>joey@debian.org</email> or
-<email>koptein@debian.org</email>.
-
- <tag><tt>m68k.debian.org</tt></tag>
- <item>
-A Motorola 6800x0 machine; you may request an account from
-<email>joey@debian.org</email> or <email>james@nocrew.org</email>.
-Runs an autobuilder.
-
- <tag><tt>alpha.debian.nl</tt></tag>
- <item>
-An Alpha; you may request an account from
-<email>debian@cistron.nl</email>.
-
- <tag><tt>xia0[123].kachinatech.com</tt></tag>
- <item>
-SPARC and UltraSPARC machines. <tt>xia0[12]</tt> are used for
-automatic compilation; you can request an account on xia03 (an
-UltraSPARC) from <email>wdeng@kachinatech.com</email>.
-
- </taglist>