I just got a text from our DB admin that the servers are back online. Others beat me to the "big announcement", but I wanted to confirm that so far as we know, it's not a false start... they really should be back. (Though I say this with a set of crossed fingers, as it has yet to be determined what shut them down in the first place.)