I understood Mitchell intent for his setup to be slightly different than what you described.
I understood it as him running Nixos/nix because it made having a reproducible development setup a breeze since it’s all just a config file.
How would his use of Nixos change as you imply with Zed/SSH?