ENH: add HTML Help builder option