[tor-project] Tor browser meeting notes, 6 July 2020