Re: [tor-dev] Tor Browser Launcher - applying TUF threat model