Compas, noticia: después de tanto intento por instalar la OTA de 12.5 sin éxito,
me ha dado por probar a instalar la que ya tenía descargada (la ota, no la versión completa) y...
ha funcionado. Os escribo desde Miui 12.5.
Fallos? Los gestos no los pillaba bien pero después de reiniciar y borrar la cache del Launcher stock se ha solucionado. El único problema que le veo a minutos de estar usando esta version es que no me deja poner un fondo, La pantalla está en negro, no acepta ninguno, un poco raro. Pero pinta bien para todo lo demás.
Para los que queráis probar, suerte.
Un saludo.