Using a #nixos #ISO to boot device before installing a flake. ISO seems to have an implicit default enabling #pulseaudio. When upgrading to #nixos2405 #nixos25dot05 #nixos25 higher version, PulseAudio options are removed/deprecated and cause service.pulseaudio does not exist during nixos-rebuild switch (before the flake). Flow is: sudo nix-channel --update (24.05 metadata only) → patch configuration.nix for audio compatibility → sudo nixos-rebuild switch. Curious if this is expected behaviour?