Starting from about 2009, we have used a locally hosted Bugzilla instance as our “issue tracker” to maintain and distribute to-do lists and supports the follow-up communication between developers and users. Since about 2016 we moved on to GitHub for project management and issue tracking. Although we have kept the bugzilla server online up to 2024, continued maintenance and keeping it further online was not possible due to resource limitations and security concerns.
The bugs from our original bugzilla server have been archived and can be accessed here.
You can look through all bugs or search for bugs with a specific status or resolution, or for bugs that relate to a certain component.