TODO
TODO
The documentation is built with mkdocs and the mkdocs-material theme. It uses the mkdocs-monorepo plugin to include
documentation from the upstream components.
To quickly preview changes made to the files in the docs folder, a Docker-based script
is provided at hacks/mkdocs. Simply running the script will start the development
server at http://localhost:8000.