[tor-announce] Tor Browser 8.0.7 is released