Opera Mini is a popular browser among owners of what the mobile industry calls feature phones — the models that aren’t powerful smartphones. Oslo, Norway-based Opera claims 50 million users worldwide ...