It looks like you're new here. If you want to get involved, click one of these buttons!
I went ahead and made a flat file (OpenOffice .odt, and .pdf export) from the html tree, maybe some of you will find it useful (esp as regards searchability).
The 'board will not allow upload of the .odt (OpenOffice Writer native format).
Haven't a clue how to make the table of contents be "live" intra-document jump-links.
Kept the out-links to the klayout html-pile in place in case there's a desire to look for updated material or whatever.