This isn’t exactly true; he is still quite active in the RFC process, many of which involve NixOS and Nixpkgs.