DNS cache is not cleared while switching to SOCKS proxy
See https://bugzilla.mozilla.org/show_bug.cgi?id=802065
Probably minor for Tor but maybe still interesting to know.
See https://bugzilla.mozilla.org/show_bug.cgi?id=802065
Probably minor for Tor but maybe still interesting to know.