Hi, Thank you for the patch! Why not to open a Merge Request on CodeBerg? https://codeberg.org/guix/guix/pulls --- Oleg