Finished moving to codeberg.org

After we moved this website to Codeberg Pages, we now finished moving our Repositories to www.codeberg.org.

The resources page has been updated with the new URLs.

Our repositories on GitHub will remain available as push mirrors, but may vanish at some point.

Codeberg is a non-profit, community-led effort that provides Git hosting and other services for free and open source projects.