The Redmi K20 Pro is arguably one of the most disruptive smartphones this year so when the company only announced its non-pro version in Europe we were worried that it might remain confined to China. Well, today's report puts us as ease that a global launch is indeed happening.
An XDA-developers forum member took dissected the MIUI camera app and found mentions of Xiaomi Mi 9T Pro. The watermarks correspond to three different variants of the K20 Pro - raphael, raphael_global and raphaelin. As you've probably guessed, raphael stands for the Chinese model, raphaelin corresponds to the Indian K20 Pro while the raphael_global is the still unannounced global version - Mi 9T Pro.
These codenames aren't new to the Android world as they were spotted some time ago, but now we know what they mean.