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.
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.
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.
Uses public information from the member list of "Physikalisches Institut, Universität Bonn" for autocompletion in To, Cc and Bcc fields.