Skip to content
Open
No due date
Last updated Nov 20, 2024
90% complete

This marks stuff that is neither currently pursued nor is foreseen for the future.
These are good ideas that we do not want to forget, but that are unlikely to be implemented.

List view