-- | A list of options passed to 'readDocument' when we parse an XML
-- document. We don't validate because the DTDs from TSN are
-- wrong. As a result, we don't want to keep useless DTDs
-- | A list of options passed to 'readDocument' when we parse an XML
-- document. We don't validate because the DTDs from TSN are
-- wrong. As a result, we don't want to keep useless DTDs