Quick patch with the following fixes:
- Fixing a crash when verifying the electronic door lock puzzle.
- Fixing a bug that prevented breakpoints from being added at the beginning of a test run.
- Trying one final thing to fix the Linux PDF-opening bug before we flip our desks over and give up.