An open source userscript manager that supports a lot of browsers