I'm not sure how many of you still use the Xiaomi 4 with the original rom. I just discovered this morning that sometime in the last 24hrs the official Xiaomi 4 OS has updated to use english. Has anyone else noticed this? I have set english as my default language in the default android launcher...