The DNS servers in my static configuration seem to work ok except… for nixos.org ?! I can resolve it perfectly fine from all the servers I have access to but not on my machine at home ?!