Thanks!  Pushed to guix master as 8c16b8a40ca3a77ee819b05d825b30671f1d536c.