description:
- distix's own bug repository for tickets sent to tickets@distix.eu; see <http://tickets.distix.eu/> and <https://distix.eu/>