>I don't think that section titles are a problem--it would not be >hard to put them in a program.
In a *binary executable* ?!?! That's what I'm talking about here. I am not sure if you are right; this might be impossible or it might be easy. I have never thought about what this requirement means for a binary executable, because the question is not important. I don't think it needs to be possible to use text from manuals in a program. A manual is free if you can publish modified versions as manuals. Many free documentation licenses won't permit use of the text in GPL-covered free programs, and practically speaking, this means I can't use them in any of the programs I might want to use them in. Whether the manual's text could be used in a free software package with a license that qualifies as free software, but is not one I'd want to use, is just academic.