#624 Vale, efectivamente, despues de investigar un poco, en cuanto a las rom oficiales hay dos tipos (y dentro de cada tipo estan las stable y las developer); las llamadas Global y otras llamadas Chinese.
La que tienes tu debe ser la Chinese (aunque en tu caso supongo que a mayores modificada por el cocinero Xancin para hacerla "global" ):
http://en.miui.com/thread-176188-1-1.html
Y luego esta la global, para la cual aun no hay rom para el Redmi Note 2
http://en.miui.com/thread-176388-1-1.html
Las diferencias son, que la Chinese solo trae chino e ingles, apps chinas y el market chino. Mientras que la global trae todos los idiomas, apps de google.
La del link http://en.miui.com/download-274.html efectivamente si es MIUI7, lo de MIUI6 entre parentesis debe estar sin actualizar desde ayer. Eso si, es la rom chinese.