There is some issue about Mi 9T Pro model naming.
Maybe it was made for some reason I dunno but compared with previous builds model name became Redmi K20 Pro instead of Mi 9T Pro.
I've checked this strings in different build.prop's and there is the result:
It's no so big deal but it would be...