I have 9.1.2.0 xiaomi.eu stable on Mi Note Pro (leo). Got notification that an OTA update is available (ca. 50MB). I wonder because normaly xiaomi.eu roms OTA should be full file size and 9.1.3.0 is not yet available to download here. Should I do the update or is there a bug that it wants to download original china update?