scratchtools — 7/2/2022, 9:23:18 PM

We just released a new version of ScratchTools, one that fixes a bunch of bugs

one of the bugs is the one that makes the font look bad (because there is no font)