Ok, just to be clear: on Xiaomi.eu we have some .20 firmware for some devices and not for the Mi Mix, on the official site we have the .20 firmware also for the Mi Mix, but the difference from the early .19 are not meaningful so there will not a .20 Mi Mix version on Xiaomi.eu. Right?