Muchas gracias por responder.
El format data lo hice cuando pasé de la global a la xiaomi.eu, y era por el tema del cifrado de la partición. Por lo tanto, ahora no está cifrada.
En cualquier caso, si borro la memoria interna me quedo sin los .zip para instalar, ¿no? ¿O tendría que instalar la ROM desde un pen por OTG?
Por cierto, el otro día instalé la última de xiaomi.eu, que ya va con Android 9 ¿tendré algún problema para poner una GSI de Android 8.1?
En fin, no sé qué pasa con Xiaomi que lo complica todo. En todos los móviles y tablets que he tenido anteriormente era mucho más sencillo (Samsung, Nexus, LG y Oneplus). Intentaré probar otra vez en estos días.