Re: [tbb-dev] stopgap fix for ticket #9516 (Show log in Tor Browser)