Today's update includes the following changes:
- Improved the performance of goal verification, which should hopefully speed up the verification process for late-game puzzles.
- Fixed a bug where some characters were not displayed in the labels of exported Redshift discs.