bug#71196: Pushed

[Andreas Enge]

Hello Olivier,

congratulations to your first contribution to Guix!

In the meantime QA has processed the patches, built its dependent packages
and given the green light (I think the threshold has been increased from
300 to 600).

I prefer to add the commits in the reverse order (first the dependencies,
then the leaves). I have added copyright lines for you and adapted the
commit log messages to our conventions. Finally I saw that you had dropped
a few patches, which need to be removed also from the git repository and
deregistered in the list of patches.

Pushed, and I am closing this issue.

Thanks,

Andreas