[tor-commits] [tor-launcher/master] Incorporate UI feedback from tor-dev.