Batch modification to #32228, #32200, #31893 by pili: Comment: do this post ESR migration -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=32228%2C32200%2C31893> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online