On Wednesday, 15 June 2016 at 10:58:04 UTC, Martin Nowak wrote:
It's a huge maintenance effort for us to produce the chm files.
I didn't know this was a thing. It's cool, but if it is a big inconvenience, then I don't think it needs to be included. I suggest just providing a way for people to make it themselves or download it (and clearly document how to do it).
