Thoughts
I should have given up months ago when I discovered documents covered under the GNU Free Document License (like the GNU manuals and the GPL
itself) are not compatible with the Debian definition of open source.