Three Years of Nix and NixOS: The Good, the Bad, and the Ugly