Document the html export feature (fix typo)