Add export for HTML