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 so wondered if that affected my Xiaomi box settings. What is your experience with the latest official update? I'm based in Shanghai.