the plt documentation looks very nice in both html and pdf format. i'm wonder what was used as source -- and how the two formats were generated. if the original source is tex/latex, would it be possible to see the source for, say, the "quick introduction with pictures" <div style="margin-left: 40px;"><a href="http://download.plt-scheme.org/doc/4.1.1/html/quick/index.html">http://download.plt-scheme.org/doc/4.1.1/html/quick/index.html</a> <a href="http://download.plt-scheme.org/doc/pdf/quick.pdf">http://download.plt-scheme.org/doc/pdf/quick.pdf</a> </div> this would help me see the details of which packages were used (slatex? etc.) and if tex/latex is the source, how was the html generated (tex4ht? or ?) thanks.