Also: how do you upgrade the system? Do you jump between "releases"/stable channels, or do you somehow chase the nixos-unstable channel? Do you do some kinds of pinning of nixpkgs?