Update TEI schema files [was #13590]
... as well in the XML editor plugin (used for fallback TEI documents) as published in the repository.
Mathias requested we also add TEI Simple.
... as well in the XML editor plugin (used for fallback TEI documents) as published in the repository.
Mathias requested we also add TEI Simple.