Userscripts

I collect my userscripts here. To use them you need a [userscript-manager](https://openuserjs.org/about/Userscript-Beginners-HOWTO#how-do-i-get-going-).

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.

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