Would you consider dual-licensing the sed docs?

[Nathanael Nerode <neroden@fastmail.fm>]

Hello again Paulo -- and hi Ken.

For the sed docs to be considered free enough for Debian main, it would be 
best if they were dual-licensed under the GPL as well as the GFDL (since the 
GFDL is problematic).

This can be done in one of two ways:
(1) getting the FSF to agree to it
(Getting the FSF to agree to any such changes has proven difficult for what I 
can only describe as political reasons.)
OR
(2) getting all the copyright-worthy contributors to agree to it

I checked with the FSF a while back, and under the copyright assignments we 
fill out for the FSF, we retain the right to dual-license our contributions 
under the GPL.

It appears that the only contributors of significant amounts to the manual are 
you two (Paolo Bonzini and Ken Pizzini).

So, if you two are both willing to dual-license the manual under the GPL, 
please say so!  It would be ideal if dual-licensing statements went in the 
upstream package, but we could also just put your statements in the debian 
package.

GFDL-only docs are being removed from Debian "main" for the next release, 
until we can work out the little "bugs" in the license with the FSF (which is 
taking much longer than it should), and it would be nice if we could keep the 
sed docs in Debian main.

Sincerely,
  Nathanael Nerode