Oh I’m very sorry, I confused Tampermonkey with another extension that stole user data. Tampermonkey is still proprietary though, which was my reason for avoiding it. Violentmonkey works just as well, but it’s open source.