Single file can now be plain or in TEI format
Update bin