I'm the person who runs this mirror, and it's now working again. Myapologies.We experienced a Sudden Unexpected Learning Event when the files on ourprimary Web server went away, and the server that it failed over todidn't have a correctly configured mirror copy. That problem will alsobe fixed.(For those curious about what we learned: If a user's home directorysomehow is erroneously set to "/" in /etc/passwd, and that user wascreated by a Debian package, "apt-get --purge" happily deletes thecontents of that directory when it deletes the user.)