For user documentation, see [../doc/user/docgen.md](../doc/user/docgen.md).