[tor-commits] [tor-browser] 04/10: fixup! Bug 40933: Add tor-launcher functionality