On 08.10.17 09:47, Toralf Förster wrote:
IMO there's absolutely no advantage of using external DNS servers.
"No advantage" is putting it too mildly. Manually specifying upstream servers runs contrary to the very reason to have a resolver on the Tor node in the first place, which is to only involve the necessary minimum set of servers for each query.
-Ralph