Fixes #1408: change user agent (#1516)
Fixes #1408: change user agent (#1516)


mozilla-mobile/focus-ios,mozilla-mobile/focus,mozilla-mobile/focus,mozilla/focus,mozilla/focus,justindarc/focus,mozilla/focus,justindarc/focus,mozilla/focus,mozilla/focus,justindarc/focus,mozilla-mobile/focus-ios,mozilla-mobile/focus-ios,justindarc/focus,justindarc/focus,mozilla-mobile/focus,mozilla-mobile/focus,mozilla-mobile/focus-ios,justindarc/focus,mozilla-mobile/focus-ios,mozilla-mobile/focus,mozilla-mobile/focus,mozilla-mobile/focus-ios