Re: [tbb-dev] [tor-project] Tor Browser team meeting notes, 12 Nov 2018