rms said fine, so I installed the patches to the license Texinfo files (slightly tweaked) in both gnulib and the (purported) original location, gnu.org/licenses.
Simon (or anyone), if you want to make a gnulib-gpl.texi or whatever to change the node name "Copying", feel free. Happy licensing, karl
