Samuel Thibault [off-list ref] writes:

So we'd need Gene's, Christopher's, William's, and Steve's ack on adding
the GPL alternative to the GFDL-1.2 licence.

That would be great.

One other thing that crosses my mind...we'll need to remove the GFDL
license text as well.  That's already technically a violation to have
within a GFDL-licensed document, since it cannot be distributed under
the terms of that license.  We have the GFDL text already in
LICENSES/deprecated/GFDL-1.2 if you want to refer to it (but the SPDX
tag is sufficient for that as well).

Thanks,

jon