Everybody makes mistakes, including the person writing this post (but shhh, don't tell our boss). That's why we've added a new undo functionality in proofing.
Simply use the shortcut "Command Z" to undo annotations and text editing in the proof itself. It's like magic.