demote codeberg.org in the list of mirrors

It's been slow to push to lately, so I'm going to update it less frequently.

Created by  Kartik K. Agaram  on January 23, 2023
OV2SN2TWVBUDLVFHGGCLTXX7VOOOD3CVO2ZQCDXEHSXANULB2GMQC
Change contents