[tor-commits] [tor/master] Turn off by-default use of client-side DNS cacheing.