This command allows you to export the current document with all highlighting information into a HTML document.
Leis an ordú seo, is féidir an cháipéis reatha, in éineacht lena sonraí aibhsithe, a easpórtáil go cáipéis HTML.