Hi RG,

pushed to guix master.

Thanks!