The Nixpkgs core team has disbanded