HTMLSave saves files as HTML

htmlSave saves editor contents as HTML. It needs access to the text to extract the style information...