Batch modification to #31270, #31271, #31272, #31273 by gaba: -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=31270%2C31271%2C31272%2C31273> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online