[tor-commits] [manual/develop] Remove Tor Launcher