Hey @grhmc - are there any good books on/around Nix/NixOS which a colleague could buy to learn more?