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)