Oops

Oops -- we were offline for a day, just now. Offices getting moved, servers getting turned off by accident, and so on. Sorry.