A quick guide to switching DNS servers settings to tackle nameserver blocking & corporate proxy