Here's my experience with this update on mi9t pro
Dirty updated from 12.3 downloaded directly from the forum because the updater doesn't seem to finish the download. Weirdly now when I boot my phone it says redmi.
Took a while to finish the first boot ( around 10 minutes ) just give a little...