userscripts

Collection of user.js files for your browser. These can be used e.g. with Greasemonkey, Tampermonkey, Violentmonkey and similar addons.

If you have such an extension installed, just click the corresponding button to import the userscript. Be aware by default userscripts will be updated automatically, this can be configured in the extension.

ticket.uni-bonn.de

Allows to select a larger number of tickets to show, and adds a "to English" button when replying to tickets, which replaces parts of the reply template.