Prepare for User-Agent Reduction changes in October

What’s happening with Chrome’s User-Agent string.