Hi, > [comment] Otherwise LGTM. Pushed only this patch to guix master as commit 12f0aefd1418443823450fdd111259269ad3d9cb. Thanks for the review!