Thank you! I updated https://codeberg.org/guix/guix/pulls/3192 . Please
Igorj and Pierre, let me know if I made any mistake in your person
record, otherwise the PR should be good to merge and we only need
someone with commit abilities to merge it.
cheers,
giacomo