> Ludovic, are there any other blockers to getting this into Guix proper?

Desperately poking Ludo.