db2530e0cd
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