Batch modification to #10957, #11458, #12377, #13202, #14267 by nickm: Action: new -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=10957%2C11458%2C12377%2C13202%2C14267> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online