Medan de senaste dagarna var vi upptagna med att skriva några teasers som förutspår nästa Redmi G-bärbara dator, Xiaomi-undermärket ...