Hi, is it the plan that the first Tor Browser release using ESR31 (mid-October) will be based on the Tor Browser 4.x branch, or are two efforts mostly independent from each other? Cheers, -- intrigeri