[tor-commits] [webwml/master] Allow having different Tor Browser versions for each platform