Mientras estamos aquí hablando sin parar sobre el próximo buque insignia de Redmi, la empresa matriz, o Xiaomi, parece estar funcionando en su lugar ...