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