Looks like we’re back to normal operations here – IT is looking at adding some additional resources to the server to make sure it keeps on chugging along, and I’ll try to monitor it as closely as possible. If you notice anything misbehaving (taking for EVER to load, borking, etc…) please let me know ASAP.