scratchtools — 6/1/2022, 1:51:49 PM

to those of u who can’t figure out how to use scratchtool: we put the settings INTO the extension. that seems to be something a lot of people are having trouble with.