Mark Mitchell wrote:
I'm disappointed that a license "improvement" (changing GPL to GFDL on manuals) has made it impossible to do something that we, as developers, used to be able to do (when documentation was under the GPL we could move things back and forth between code and documentation at will), and which benefited users (by making it easier for us to generate better documentation).
I agree that it is essential to be able to do this kind of movement backwards and forwards.