@csantosb Guix is (most likely?) moving to Codeberg. Interesting to see how it affects contributions.