Batch modification to #25268, #3940, #24456, #24854 by nickm: -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=25268%2C3940%2C24456%2C24854> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online