I noticed that http://ubuntu.washdc-linux.com/ is no longer an active mirror; in fact the website appears to have been unregistered since January. What is the procedure to ensure that no longer functioning mirrors are removed from the official list? Jeremy Bicha