Thanks! Pushed to guix master as commit b2fff3b5de7d510fe4809e9a97089dddf2a39ffc.