Command docsgen rewrites the generated regions of the documentation:
the text between `<!-- generated: name -->` and `<!-- /generated -->`.
Run it through `just docs-generate`; `just docs-check` runs it with -check
and fails when a region differs from what it would write.