Hi Raghav, thanks! Pushed to guix master as commit 7dfc7c5398c16bdf27acf260c71f905d13bb3a9c with tiny changes.