Mirrors is moving!
The server is moving to a new physical location. As soon as the new connection
is established in the new location we will announce the move here in the MotD &&
on the website. Keep your eyes on this spot for more details as they become
available. Hopefully the entire transition should not take more than a couple