Could whoever has access to the DNS temporarily point www.us.debian.org to another machine? The 9GB Debian drive here is dying, and unfortunately my last shelf-spare drive just got used, and you cannot get disk drives in DC at 2 am on a Sunday night. I will most likely be able to get the disk replaced tomorrow. -- Shields, CrossLink.
