Project for this weekend: move all GitHub repositories to #Codeberg and add a "it has moved" commit to them on GitHub. Hope somebody else did the heavy lifting for this.