There used to be a file at near the top level of ftp.debian.org saying where the mirrors are. Can this be put back, please ? Ian.