[tor-project] Tor Browser team meeting notes, 20 Aug 2018