The search functionality needs JavaScript enabled
See NetworkManager.makeDNSResolver
NetworkManager.makeDNSResolver
override DNSResolver makeDNSResolver ( Address[] peers = null );