Decide whether to use "Tor Browser" or "Tor Browser for Android" for mobile stable
In legacy/trac#28622 (moved) the question came up whether we should use "Tor Browser" or "Tor Browser for Android" for mobile. I think the former as Android is yet another platform besides Windows, macOS, and Linux. We only have one browser that serves all the platforms.