Medan vi här pratar direkt om nästa Redmi-flaggskepp verkar moderbolaget eller Xiaomi fungera istället ...