91a19d9ea9
Remove the public infra section, as it uses a bit of unfortunate wording. It suggests we would add anyone to our infrastructure as an admin.
Serve documentation locally
$ nix develop .#docs -c mkdocs serve