GPL comma and semicolon disagreement

[Collin Funk]

In gnulib-tool.py.TODO there is the following commit:

commit 87e6634b28df65084321fed22f60d114a0931d21
Author: Bernhard Voelker <mail@bernhard-voelker.de>
Date:   Tue Jan 4 00:16:50 2022 +0100

    license: fix GPLv3 texts to use a comma instead of semicolon.

    See: https://www.gnu.org/licenses/gpl-3.0.html#howto
    Run:
      $ git grep -l 'Foundation, either version 3' \
          | xargs sed -i '/Foundation, either version 3/ s/n; e/n, e/'

    * All files using GPLv3: Adjust via the above command.

I'm assuming the file was generated by all commits that touched the
regular gnulib-tool, since the given command already fixed the notices
on gnulib-tool.py and the ones it printed. :)

While running the command I see the following files changed:

ChangeLog
doc/maintain.texi
gnulib-tool.py.TODO
lib/mini-gmp.c
lib/mini-gmp.h

The ChangeLog and gnulib-tool.py.TODO are simply the command modifying
the grep and sed invocation.

The others were reverted by Karl's autoupdate. It is not worth losing
sleep over one character, but I think that it would be nice if the
license notices agreed with each other.

It seems that GMP updated the GPL version number but not the
punctuation change as Bruno mentioned when this commit was proposed
[1]. I'm not sure how they would feel about changing every source file
in their repository.

However, can we at least change maintain.texi to recommend the comma
version? That would prevent more disagreements between files in the
future. I can send an email to bug-standards@gnu.org if it is
necessary.

[1] https://lists.gnu.org/archive/html/bug-gnulib/2022-01/msg00012.html

Collin