This just came in from the server maintainer over there at CMU:
8 hours isnt that much. I remember i couldnt access Panda website one day in summer.Same reason?
Just came back online.