Sobre como pasar entre versiones de MIUI, te refieres a utilizando el programa XiaomiTool?
Si, es algo que se pierde. Pero sigo teniendo la ROM de Octubre. No se si en las siguientes versiones está.
PD: Pasa el enlace y le echo un vistazo. Pero ten en cuenta, que solo pongo las cosas que he comprado por experiencia propia que funcionan. No quiero hacer un tutorial con unos pasos sobre algo que YO no he hecho. Y por tanto, puede no salir un resultado satisfactorio, jodiendo el terminal de algun compañero.