Efectivamente, algo han tocado, yo tengo descargada la que publicaron antes y el MD5 es diferente aunque se llamen exactamente igual.
Aunque no pienso cambiarla porque la que instalé la semana pasada a mi me funciona bastante bien, no noto diferencia con respecto a la ROM de la que venía (MIUI 10, llevaba mas de un año sin actualizar). Si actualizo fijo que algo se jode, asique me quedaré como estoy.