Hello, i've installed xiaomi.eu yesterday, and i've figured out that I need root to install magisk module "smooth miui home ios", but the phone became laggy after root, and the safety net wasn't passed after so many tries (and I was forced to format data after a bootloop).
So I decided to not to...