Applied with the changes below, thanks!

Ludo'.

PS: We discussed it a couple of times before: please configure your
    email client to not add Mail-followup-to: guix-patches.  That leads
    people to reply to guix-patches instead of NNN@debbugs.gnu.org,
    which is annoying.