Thanks!  Pushed to guix master as 4e86e9d78e2eb9869b84a94486a3b4a50ba7f800.