>> May I push to master?
>
> Yes, definitely.  :-)

Pushed, thanks!

>> The coverage is a meagre 0.1%. There are very few launchpad packages in
>> Guix.
>
> Yeah, it’s pleasant nonetheless to gain extra coverage.

Yes, indeed. :-)