Added a button to the GUI that could toggle annotations for puzzles.