Well, that was a bummer. Tried to bring my new Mi 10T Pro onto Xiaomi.EU.
Not only did the install not work, it also showed "Redmi" in boot screen. Now it has messed up my folder structure, so I can't install ANY Roms anymore.
That was very disappointing. I think the first time i had that...