I have Redmi 9T, and yesterday I installed MIUI 12.5.4 custom ROM from this site. It's pretty good, but in recent apps menu there are lags. It's lagging for about 4-5 seconds after opening, it doesn't freeze, animation is working, but lagging.