This "shake device to undo" thing in iOS is never useful, but reliably annoying.