Sometimes, the annotations are covering up words in the proof. It would be great if there was a button to hide them.