Hi, thanks for the patch! Pushed to guix master as commit 022767d7c132d20d684e0dec7c6010fdcf408e3d