Add option to export HTML documents.