Clicking Create a Codespace (on GitHub's UI) environment currently does not include a (working) nix.

The goal of this issue is to add that. It should also directly install/setup/use our nix.flake.

PS: #1656 is about sth. different.