Hide the "Tor" section in preferences when TOR_SKIP_LAUNCH=1 is set
In Tor Browser 9.0, there is now a "Tor" section in the preferences. When setting the
TOR_SKIP_LAUNCH=1 variable to disable Tor (e.g. if in a transparent proxy environment) then the section is still visible on the left but clicking on it does nothing. It should be hidden when this variable is set to prevent confusion.