Yo acabo de instalar esa rom ayer después de un proceso bastante accidentado (xiaomi.eu_multi_MI5_9.10.10_v11-8.0) y por ahora estoy contento, me está sorprendiendo gratamente... eso sí, han salido ya las 9.11.07 y efectivamente parece que nuestro terminal está descontinuado por ahora, pero mejor es que la 9.5 Global que tenía todavía puesta...
Ya iré contando por aquí.
Un saludete