Batch modification to #12399, #31147 by dgoulet: reviewer to mikeperry -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=12399%2C31147> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online