For the last few days, as I get time, I've been working on this. It's only one step in a multi-year process to modernize the documentation and make it available offline. Of course there's no ETA for completion of the entire project, but this step is, at least, almost complete.