Use a `nav` element
Update makefile targets to use nix
Update cachix token secret ref
You can also use your local clone with git send-email.