Helt siden presentasjonen av den nye mid-range morderen fra det nyfødte Redmi-merket, Note 7, har noen av oss lurt på: hvor er den minste Redmi ...