Re: [bitfolk] ftp.uk.debian.org problem today?