NixOS configurations for nixos.org and its servers