This is no joke. Changing the DNS server on Android is difficult for anyone that hasn't hacked android since it's early days. And it is getting more difficult. The fact that it is not an easily accessible setting is an indication that it is designed deliberately to disempower people.