Sedan presentationen av den nya mid-range mördaren av det nyfödda Redmi-märket, Note 7, har några av oss undrat: var är den minsta Redmi ...