about:preference has a "Tor" tab, but confusingly, some Tor settings aren't under that tab
I wanted to change my "automatically follow the OnionLocation header" setting in Tor Browser, so I went to about:preferences and clicked on the Tor tab and looked around and didn't find it. Then I typed 'onion' into the preferences search bar, and there is a setting for changing it. After some more hunting, I found it hidden in the "Privacy & Security" tab. That's weird, since there is a tab named "Tor" which is where I would expect to find the Tor things.
Does that mean we should rename the Tor tab to something more specific, so I don't assume that all the Tor-Browser-specific settings will be found there?
(Discovered because we just had a user on #tor who had the same confusion).