nitmetrics: Hyperdoc generation is now optional