Let's just duplicate the Tor Browser user-agent string, which hasn't changed for years (and likely won't for a loooooong time). Generating it from Tor Browser 8.0.2+ is much more complicated since it has been split up in several different prefs. Refs: #16017