Xiaomi installs Opera on some phones without user consent.