pvl-tei.xml is the TEI-encoded PVL, to be collated