This is a followup to commit ea9cc4ef219e62de569945816a5e666775e7fa41. * doc/guix.texi: Add copyright line.