Tools

Userscripts

What are userscripts?

Userscripts are programs that augment your browsing experience. For example, they can add features or enhancements to existing websites. Userscripts are not browser extensions. Instead, they can be enabled by a userscript manager. Userscript managers are browser extensions that install and run userscripts for you.

The userscripts below require you to have a userscript manager installed.

Tampermonkey and Greasemonkey are supported.