Bug#805796: www.debian.org: please mention httpredir.d.o on mirror page(s)

On Mon, Nov 23, 2015 at 12:15 AM, Elena Grandi wrote:

> I believe that adding a short note near the top of the page pointing
> those users to http://httpredir.debian.org/ (or giving concise
> instructions on how to use it) would be helpful.

How about this text? I propose to insert it as the second paragraph.

If you don't know which mirror to use or your system moves around a
lot, you can use the mirror redirector service in your apt
sources.list, which dynamically redirects package download requests to
the best mirror available based on a number of factors such as
location, architecture and mirror freshness. Use this address in your
sources.list to use the mirror redirector:

http://httpredir.debian.org/debian

BTW Elena, I think the mirrors team could use some help if you are interested.