Note that there are ISPs that actively hijack traffic to UDP port 53 further inside their network and transparently maps that onto their internal DNS servers.
But also, they were just an easy-to-type example, and you could replace them with any other DoT/DoH provider.