I posted this before.. but we shouldn't all use the same mirror or it will be closed very soon... Happened before Maybe someone with webspace could make a script that picks a random mirror