-do this on either <tt>va.debian.org</tt> or
-<tt>master.debian.org</tt>. Any material you put in those areas are
-accessible via the URLs
-<tt>http://www.debian.org/~<var>user-id</var>/</tt> and
-<tt>http://master.debian.org/~<var>user-id</var>/</tt>, respectively.
-Generally, you'll want to use <tt>va</tt>, for the
-<tt>www.debian.org</tt> address, although in some cases you may need
-to put it on <tt>master</tt>. Please do not put any material on
-Debian servers not relating to Debian, unless you have prior
-permission. Send mail to &email-debian-devel; if you have any
-questions.
+do this on <tt>va.debian.org</tt>. Any material you put in those areas
+are accessible via the URL
+<tt>http://www.debian.org/~<var>user-id</var>/</tt>.
+If necessary, you can use other Debian machines for this; the procedure
+is analogous to the above. Please do not put any material on Debian
+servers not relating to Debian, unless you have prior permission.
+Send mail to &email-debian-devel; if you have any questions.