See @TODO.md for next steps. This system has `nix-shell`. You can use `nix-shell` to get temporary tools you need and to start the development shell, defined in @shell.nix.