Pero esos son los foros. La página oficial, donde están las rom es esta:
http://en.miui.com/download-316.html
Ahí no aparecen las globales estables, las han quiatdo hace un mes o algo más.
Ese foro lleva abierto desde que sacaron la 8.2.5.0
Vamos que todo sigue igual. No hay ninguna novedad al respecto