Batch modification to #27179, #27182, #27183 by gk: priority to High Comment: Bump prio. -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=27179%2C27182%2C27183> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online