This is the Metanorma processor for StanDoc documents, which most Metanorma flavors inherit from.