shell.nix, release.nix: just use <nixpkgs>#9

sternenseemann wants to merge 2 commits into

tvlfyi:2.3-maintenancetvlfyi/nix:2.3-maintenancefrom

sternenseemann:nix-filessternenseemann/nix:nix-filesCopy head branch name to clipboard