the next versions of ScratchTools will update the list of contributors to get credit in the extension.
if u want credit or want to help with ScratchTools, feel free to tell us here.