Hi Naga, thanks! I have pushed the patch to guix master as commit 1163dacd4b4d9d274be5e8393072323435e9236a.