In Whonix 9.4, eth1 of the gateway has the address <10.152.152.10>. But in the workstation, Tor browser is configured with socksport <127.0.0.1:9150> rather than <10.152.152.10:9150>. As I recall, in earlier Whonix versions, Tor browser was configured with socksport <192.168.0.10:9150>, matching the gateway eth1 address.
How does Whonix 9.4 workstation manage to use a local socksport?