It is true that Redmi and Xiaomi are now not one thing, but even if in the division of assets so to speak, they continue to churn out devices even at ...