Tooling

MkDocs is used to build the documentation. It is a static site generator that takes Markdown files and generates a static website. The documentation is built using the Material for MkDocs theme, which provides a clean and modern design. MkDocs Static i18n plugin is used to add internationalization support to the documentation. This allows us to provide translations of the documentation in multiple languages.