[Tei-council] Open TEI editor development proposal