Where are they? All I can find are the compressed copies of the html + source files.

Inside that .7z archive are 3 PDFs in the root directory as well.

.7z files are unpacked in Debian with:

  aptitude install p7zip
  p7zip -d FILENAME

And for what it's worth, I was annoyed at installing a package, but it is a pretty slick compressor:

  .7z       10782763 bytes  basis
  .tar.gz   17423885 bytes  +61%
  .tar.bz2  16493028 bytes  +53%

Getting even further off-topic, the p7z utility can create archives compatible withe the normal .zip format (WinZip and friends can still uncompress them) that are a fraction of the size of what most zip utilities will produce. :-)

Neat! I'm confused though why the kindle format is just a reformatted pdf?