Editor HTML para o SEI

Allows HTML code to be inserted into an SEI document. An extension that allows HTML code to be inserted into an SEI document. It makes it possible to insert files exported in HTML format into SEI without using developer tools.