Unlike Tabzilla's Update Bar, this is a general UA check, so we may want to check `Mobi` for Opera Mobile as described in the [MDN doc](https://developer.mozilla.org/en-US/docs/Gecko_user_agent_string_reference).