Hi, I see that Xiaomi.eu's 6.8.25 weekly release for Mi Pad 2 is MIUI 8. On miui.com, China Dev ROM is also 6.8.25 but says MIUI 7. Is the China Dev ROM also MIUI 8 and they just forgot to change 7 to 8?