People also generally use Violentmonkey (https://violentmonkey.github.io) instead nowadays.