Thanks!  Pushed to guix master as d4ce1c5029dcf68a72ba4e4288d13341c57b2005.