> There's a Windows help version that I'd guess is searchable. You could
> also download the HTML and index it using your favorite web-site
> indexing tool.

Would it be possible to get a simple text or HTML version of the index as 
it appears in the book?  I'm just thinking that this would perhaps make for 
a more useful (starting point for a) set of words to index in the HTML, 
rather than simply indexing everything.

You mention one's "favourite web-site indexing tool", but I don't have one 
:-).  Can you suggest something easy to get started with on a Linux box?