Hi Vincent,

pushed this patchset to guix master as commit a7f6202437d6bf9fd0cbc310e32eb584841f8fa8 (inclusive)
to commit commit 5a46779e9f418b89137b315ba15d5c5ea30ca540.

Thanks!