Building the docs

The docs are written in mdBook. Check their docs if you want to edit them. A flake.nix and justfile are provided in the git repo. If you have nix with flakes set up you can edit the docs by running nix develop. This will make all dependencies available as long as you are in the shell it creates. You can run just -l to find all relevant commands for development.