<!-- if you are translating this document, please notate the CVS
revision of the developers reference here -->
<!--
<!-- if you are translating this document, please notate the CVS
revision of the developers reference here -->
<!--
-The main web page listing the available public FTP (and, usually,
-HTTP) servers can be found at <url id="&url-debian-mirrors;">. More
+The main web page listing the available public FTP/HTTP
+servers can be found at <url id="&url-debian-mirrors;">. More
information concerning Debian mirrors can be found at <url
id="&url-debian-mirroring;">. This useful page includes information
and tools which can be helpful if you are interested in setting up
information concerning Debian mirrors can be found at <url
id="&url-debian-mirroring;">. This useful page includes information
and tools which can be helpful if you are interested in setting up