I just did you a favor, I try all 3 versions provided on our site, they are all from the guy that stopped MIUI support on his twrp, I even format data on my Redmi 9T -my work phone- and sure enough, the userdata is still get encrypted without the pin or anything.
You can now forget about...