Editor HTML para o SEI

inseridos permite arquivos seja possibilita documento sei, um necessário sejam desenvolvedores. de html no que ferramentas html em sem que exportados inserir usar extensão no sei. que formato código