No sabía dónde anunciar esta actualización porque no he encontrado un tema con la ROM de Xiaomi.eu estable, y por no abrir otro tema lo pongo aquí si os parece bien, ha salido una nueva versión estable de Xiaomi.eu, la 8.5.1 la llevo hace un par de días y ningún problema, rendimiento igual que las versiones de desarrollo, han implementado la opción de elegir el formato de iconos que queremos en la pantalla.
Va bastante bien..........