Terwijl we hier non-stop praten over het volgende Redmi-vlaggenschip, lijkt het moederbedrijf of Xiaomi in plaats daarvan te werken ...