Code Editor : texinfo.syntax