Documented the HTML export feature.