Wow, what a frighteningly effective deadman switch. Normally I'd be worried about forgetting to reset it but in this case it's hard /not/ to use a Google product in a normal day.