oh wait- i forgot to tell everyone! scratchtools officially has 175 users!

https://tools.scratchstatus.org/live