Moving to Codeberg

We previously discussed moving to Codeberg, and I'm thinking the time is right to make the move from our current GitHub/SourceHut mix entirely to Codeberg. If you have any concerns or comments, now is the time!