On Mon, 14 Jul 2014, Holger Parplies wrote:
In fact, if I try to access http://http.debian.net/debian/, I am correctly redirected to a mirror (I had tried without the trailing slash before, which did *not* work).
I understand that the trailing slash is significant and necessary. So perhaps the stock file needs to have it added. Cheers, G