Hey,
friends of mine were unaware that http://httpredir.debian.org/ exists and
pointed out that our official documentation doesn’t mention it.
Specifically, they read https://www.debian.org/mirror/list and then
proceeded to hand-pick a mirror.
I think it would be beneficial to our users if we added a note like the
following at the top of the page:
"""
Use http://httpredir.debian.org/ to automatically get the best mirror based
on your geographic and network location. In case httpredir does not work
for you, please send a report to mirrors@debian.org and select a mirror
from the following list for the time being:
"""
What do you think?
P.S.: Please CC me as I’m not subscribed to this list.
--
Best regards,
Michael