Title: Migrate issue tracker outside GitHub
Author: Rodrigo Arias Mallo
Created: Sun, 28 Sep 2025 20:22:13 +0200
State: open

The GitHub issue tracker has multiple issues and it doesn't work without
JavaScript. We can migrate the issues to a new issue tracker and host it
ourselves.