Move from Github to Codeberg

I have been meaning to do this since that fateful day in 2018, when Micros**t bought Github but the introduction of Copilot and its licensing controversy has been the last straw, with many people I follow on Mastodon encouraging others to leave. So I finally put ‘moved to Codeberg’ signs in the repository descriptions and readmes and archived them on my Github account. Here are my repositories on Codeberg: https://codeberg.org/belasco