Gracias, me has ahorrado un buen rato. Me empeñaba en buscar en miui.com, y no daba con la página en inglés
El recopilatorio de roms es un jaleo para mí que ya estoy verde en el tema (desde que me pillé el RN3, le metí la global y ni lo toco, ya me peleé lo suyo con un redmi 1)
Se puede meter desde mi recovery o sólo desde el update como viene en la guía de esa misma página?
http://en.miui.com/a-232.html
Supongo que primero borrar todo desde el recovery y luego instalar desde el update como pone ahí: Please wipe all data in Recovery mode if you want to update to a discontinuous ROM version