Thanks! Pushed to guix master as commit 769b96b62e8c09b078f73adc09fb860505920f8f.