I see that in the "MIUI Weekly ROM releases" there seem to be ROMs based on the MIUI Developer ROMs (the 6.x.x.x).
I downloaded a 7.1.6.0 (MIUI by xiaomi.eu) from the official MIUI forums. One thing that I don't understand is where are the stable ones, the 7.x.x.x ROMs (on xiaomi.eu; on this...