If the Tor Browser folks can say here what the right user agents are, then we'll be closer to fixing this bug.
Unless the right fix is to abandon the "check user agent to see if it's really tor browser" feature in Check, now that there will be many user agents? (Seems like we want to keep it if we can, especially with the new browsers that are integrating with Tor.)
(I keep messing with the ticket because users keep reporting it as an issue, since the browser team asked people to try the new tor browser beta.)
And, I hear from the browser team that they're changing up the user agent thing, maybe to stop claiming that everything is Windows, since it's breaking some behavior and the lie isn't very convincing. Plus there's Tor Browser Android coming. ...I'll let the browser folks provide actual facts rather than just my rumors. :)