De mest ivriga fans av varumärket Xiaomi kommer säkert att ha markerat datumet den 10 augusti, den dag då Lei Juns företag ...