Kassen wrote:

Yes, the online docs are very convenient with their compact size and clear links, I use them a lot too.

You can take it down again, I 'wget -r'-ed the whole thing...