Tor version: 9.5

Release date: June 1, 2020