Batch modification to #18240, #17158, #18808 by isabela: points to 0.4 -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=18240%2C17158%2C18808> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online