Batch modification to #25245 by teor: Comment: If this ticket is a -must, it's an 035-must -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=25245> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online