They are on Codeberg, which is a much more vibrant FOSS community than Github. I highly doubt being on Github has any sort of benefit for these kind of non-corporate projects. It would be probably detrimental as many FOSS enthusiasts refuse to use Github.