It looks like we may run into some downtime in the next hour and a half or so. Everything should be fine after 3 a.m., Eastern Standard Time, on Tuesday, August 17. My apologies for this downtime-- we've burnt through over 80 hours of CPU time in under 24 hours!
Sorry about this. I'm working with Google to solve these outages, and will have something to show for it soon, I hope.