När Xiaomi visade upp Mi 10T- serien så hade modellerna företagets då mycket nybakade gränssnitt MIUI 12 ombord. Men det…