What I'm referring to is the excerpts of C and E-Lisp source in those manuals. They're clearly both documentation and software, even if you don't believe that text can be both documentation and software.
I don't believe even the non-optional parts of the GFDL can be found DFSG-free (as a software license), so something's going to have to change. -Brian
