Medan vi här pratar och spekulerar om nästa Redmi-flaggskepp, Redmi K20 (och Redmi K20 Pro), verkar våra indiska vänner ...