Re: [tor-dev] Tor Launcher UI feedback follow up