Userscripts

I collect my userscripts here. To use them you need a userscript-manager.

To install a script, navigate to the file and click on the “Raw”-button at the top right. Your userscript-manager should then ask you to install it.

The scripts in this repository are mirrored to OpenUserJS.org for better discoverability and to work around limitations in certain browsers.

Unless otherwise noted, the scripts are licensed under the GPLv3.