Thanks!  Pushed to guix master as 2356b7ab6d36522880abb7073ec87990b721ce1a.