Hi Ricardo,

On Mon, 04 Feb 2019 00:59:08 +0100
Ricardo Wurmus <rekado@elephly.net> wrote:

>[improved version]

Thanks!  Pushed with improved text to guix master as 89339a35bd8610ec585da36f3da6ddf116c3fe89.