Hi, Do you guys have any plan to host an HTML version like [SF](https://softwarefoundations.cis.upenn.edu) and [CPDT](http://adam.chlipala.net/cpdt/html/toc.html)? That would be awesome.
Hi,
Do you guys have any plan to host an HTML version like SF and CPDT?
That would be awesome.