<!--
IMPORTANT NOTICE
Github is only used for CI right now, main development continues on the
mailinglist.
Please send issues and pull requests (either via `git request-pull` or `git
format-patch` + `git send-email`) to
[the imag mailinglist](https://imag-pim.org/mailinglist/).
-->