I suspect that `isodoc`, initially only made for ISO documents, should be renamed to a generic name. Should it be called `metanorma-xml`?