release.nix: ci instructions now live in a separate repository