jidanni@jidanni.org (jidanni@jidanni.org) wrote on 3 October 2012 10:15: >Can't the names be saved by the DNS longer, or are you using some round >robin system? Could be done but the mirror itself wouldn't be accessible because the link was down.