This GitHub profile will henceforth contain archived repositories of old projects. To see all the new developments, check my Codeberg instead. (Note that old repositories will also be migrated there, in a non-archived form that you can contribute to).