Doesn't matter. Most people have been manually changing their DNS server to Google or Cloudflare DNS. More tech-savvy ones run their own DNS: unbound, pi-hole, etc.