https://gadgeteer.co.za/how-to-make-android-use-the-dns-server-of-your-choice-not-all-dns-servers-are-created-equally/