Miui launcher 4.21.9.2878 comes with latest xiaomi.eu rom and it is very laggy. I am using redmi note 7. Is there any way to install any lagless miui launcher on it? It is not important for me if it has animations.