Ahora mismo llevo la combinación de este tutorial, antes utilizaba las Dev, que me iban muy bien. Sin embargo, ya no soy de toquetear tan a menudo el teléfono y cuando me daba por actualizar la Dev siempre me surgía la duda de cuál de las versiones posteriores a la mía iría mejor... Así que ahora actualizaré una vez al mes como mucho y no tendré tantas versiones intermedias a elegir.
El zip lo descargué desde tu enlace de Mega, la descarga desde Google Drive es bastante más lenta, aunque gracias a @
Glori1989 tenemos el zip. En la página de Xiaomi sigue sin aparecer.
Como ya tenía TWRP instalado, me ahorré trabajo, pese a que tuve que volver a configurar el sistema e instalar las apps que quisiera. No viene mal deshacerse de golpe de las apps que no se utilizan.