Y eso que no hemos hablado de que siendo una Redmi lo más seguro es que con el tiempo le quiten casi todas las animaciones, que al menos a mí, esa optimización de animaciones me parece pésima. En vez de quitar las animaciones casi por completo, que optimizen bien MIUI y así las animaciones siguen vivas, y esto lo digo por casi todas las capas de personalización, que lo hacen con sus móviles baratos menos algunas como (creo) Lenovo, Motorola, en general esas marcas que casi usan Android puro