I still don’t know how to set this up.
Advanced Security Guide - Whonix says to look at Tor Browser Essentials which is in a section called unsafe tor browsers habits. If I ignore that I find in a single line titled ‘Proxy Settings’ one broken link, which I assume should point to Tor Browser Advanced Topics. This page isn’t a guide for configuring socks ports, but it says that stream isolation will break when removing or changing proxy settings. Not what I’m looking for I guess?
Back to the firstmost link which says that Tor Browser must be extracted into a different directory and a different SocksPort must be used. Then mentioned are SocksPorts ‘without IsolateDestAddr’ and ‘without IsolateDestPort’. SocksPorts aren’t numbers? Given next are some numbers: 9153 to 9159. Lastly noted is Stream Isolation where I can see that Tor Browser is configured to use port 9150. Below at ‘How to mitigate identity correlation’ are again mentioned ‘without IsolateDestAddr’ and ‘without IsolateDestPort’. It says unless you know better, you’re usually better off not using them. Whonix-Gateway is also named, so now I’m not even sure in which VM I should be making changes anymore. It also says to look at the Tor manual where I learn IsolateDestAddr and IsolateDestPort are options for not sharing circuits. Further below on this page are notes on how to deactivate stream isolation. From this point on I don’t know where to look, much less how to proceed.
If Tor Browser must be downloaded manually for using more than one browser then is there a purpose to Tor Browser Downloader (AnonDist) beyond downloading Tor Browser the first time and updating that same one browser?