Android - Use different port numbers
In #29757 (moved) we looked at one issue preventing side-by-side installation of Tor Browser on Android. The next issue is running multiple versions at the same time. Tor is started with some hard-coded port numbers (see [ticket:30518#comment:3 for example]) in Tor Browser stable and alpha, and this prevents bootstrapping on the second instance (because tor can't bind on those sockets). We should allow running stable and alpha at the same time by choosing different port numbers for them.
Specifically, we should look at TransPort (9140) and HTTPTunnelPort (8218). Currently, we don't need either of these. (We also don't need the DNSPort on 5400).
I also wonder why/how the app works if the SocksPort is selected randomly.