Hi,

I’ve changed license headers to read “GNU Guix” and to use the copyright
sign using this script: