nix-community.org DNS

DNS is managed by terraform in this file.