Re: [tor-dev] Upcoming Tor change with application impact: "Dormant Mode"