The resulting system still seems very mutable to me, since it appears the system configuration management isn't tracked in a transactional manner. I would think for a "immutable Linux desktop", NixOS would be what the author was looking for, since the whole system is declaratively specified and can be rolled back to any previous generation. But some users go even further, performing a ZFS rollback on every NixOS boot[0] to ensure that mutable state doesn't accumulate (NixOS only needs /boot and /nix to boot, and creates /etc /var etc. if they don't exist already).