Gracias tasadarf.
Después de mucho intentarlo, no había manera de instalarle un zip de rooteo al terminal... Hasta que esta mañana he pillado este enlace:
http://en.miui.com/thread-94779-1-1.html que contiene instrucciones (
aquí) para hacerlo.
Ahora ya estoy en Mokee de nuevo, con el TWRP instalado.
No vuelvo a tocar una ROM MIUI ni con un palo de un metro hasta que no se aclaren las cosas. No me compensa el susto que he pasado, así que alternaré entre Mokee y CM para ir viendo el desarrollo, pero con cuidadito
