Thanks!  Pushed to guix master as 3fc88ff0f3499b9be2eb8177084752feb2e2508f.