Correctly recognize Opera Mobile in the `Environment` class (see #5869)