Add command: export to HTML