One is maintain.texi. Karl, can you please apply the following
patch?
Will do.
The other file is fdl-1.2.texi; can that be fixed too?
It really seems pointless to me to change an old version of a license
for such a cosmetic matter. I am loath to do so.
k
