[tor-commits] [tor/master] Add documentation for the client-side DNS cache options