Stallman says the GPL does not apply to that texinfo documentation. That's rather disappointing. It also means that many Debian packages need the documentation license added to their copyright files. Who wants to file the bug reports? Thanks Bruce