The bad news: Unfortunately, the HTML Library was compiled as an early HTML Help file. Unfortunately it doesn't seem to work on modern systems and a new version is not available.

The GOOD news: An even BETTER resource is available here, courtesy of the WDG.