Mit diesem Befehl können Sie das aktive Dokument mit allen Hervorhebungen in ein HTML-Dokument speichern. ###>This command allows you to export the current document with all highlighting information into a HTML document.