Efter veckors väntan och oändliga rykten upptäckte vi igår äntligen det officiella namnet på den första toppen av sortimentet av Redmi, undermärket ...