AnonDist may have been used to allow upstreaming / sharing with other privacy projects. Likelihood of that seems rather low. I agree it would be less confusing to replace AnonDist with Whonix.
No.
These instructions are for Whonix-13 running under VirtualBox. I’m not up to speed on Whonix-14 and those who do know are busy getting Whonix-14 released.
! As stated in wiki, using multiple workstations to separate identities is preferable to using multiple tor browsers. Also better not to use both TBB at same time.
-
Get latest stable TBB from torproject.org and extract to a new folder in your home directory.
-
To enable stream isolation, go to
Menu -> Preferences -> Advanced -> Network -> Settings
As you said, port can be any number from 9153 to 9159.