I just noticed that lib/modules/Tools.pmod/Legal.pmod/License.pmod/gpl.txt and lib/modules/Tools.pmod/Legal.pmod/License.pmod/lgpl.txt are very old; you should get the current ones from https://www.gnu.org/licenses/gpl-2.0.txt and https://www.gnu.org/licenses/lgpl-2.1.txt.
Specifically, the old files in the repo contain an old postal address and gpl.txt refers to LGPL as the "GNU Library General Public License".
Updated, since it was inconsistent. However if both had said "GNU Library General Public License" I wouldn't, as I'm no fan of historical revisionism.
I wouldn't call it historical revisionism since the license text proper hasn't changed, only the preamble. LGPL 2.0 and earlier was the "Library" GPL; LGPL 2.1 was the first "Lesser" GPL.
pike-devel@lists.lysator.liu.se