Thanks!  Pushed to guix master as 02d9e5d285638c7a1e6c984a01588f8b5bb56c8c.