Thanks! Pushed to guix master as commit be743fc0fd1253b5f824cdee38b0b110ef10273b.