The "Export" command is used to export the current file to an RTF or HTML file.
The file has syntax highlight and the HTML file also supports folding.
