Thanks, just a last point: I understand now that Xiaomi.eu is developped as custom ROM based on the China dev ROM. This means that updates are more dynamic than in the Global official ROM. But is there any difference between, for example, Global official 8.7.x OTA and Xiaomi.eu 8.7.x? Also which...