Hi Tom,
Yes, we'll make PDF versions. PDF documents, however, will lack some interactive functionality, as mouseover comparisons, which can only be implemented with JavaScript in hypertext documents.
Nevertheless, you have a better option: copy the HTML documentation to a folder on your hard disk, and view it from that folder with your web browser. We'll upload a compressed file with the entire documentation stored to be used this way.
Cheers,
Juan