[davidw]

It's not a load problem, most likely. I think Google is well equipped to deal with load spikes, and in any case, we'd see a more gradual failure. This was pretty sudden.