mathieui: in ref. to my question in the biboumi room, would that enable you to re-host https://lab.louiz.org/louiz/Catch.git on codeberg? That's apparently part of the test suite