Docgen is a shell script for generating documentation files such as README.md's that are templated. Simply run
nix run .\#docgen
from the root of the repository to generate all documentation.
Docgen also defines a check which verifies that no files were altered while generating docs, which we use in CI to ensure we do not forget to generate documentation.