I've been migrating a lot of stuff to Codeberg, so if some repository seems to be missing here, it might have moved over already.