Anybody know what's going on with www.gtlib.gatech.edu? I've been using it as my ubuntu update mirror (lucid) for years but since Friday it's been unreachable (can't ping or connect on port 80). Is this a permanent thing?