Re: [Tei-council] [Tei-board] Open TEI editor development proposal