[GRASS5] license question

[Hamish]

grass/src/general/init/license.txt
and
grass51/lib/init/license.txt

state:
"Geographic Resources Analysis Support System (GRASS) is Copyright,
1999-2004 by the GRASS Development Team, and licensed under terms of the
GNU General Public License (GPL)."


Should that specifically say GPL version 2?


The COPYING files do; they also say:

"You should have received a copy of the GNU General Public License
along with this program; if not, write to ..."

where is GPL.TXT in 5.7? or do we (meaning the primary authors of 5.7,
not me) want to figure out how to licence any new libraries before that
file is added to the archive?


?,
Hamish