MIUI has two versions: global and china
Xiaomi.EU was on the global branch until MIUI9, then they switch to china somehow. Maybe because the first weeks only china MIUI9 was released. But now they already release weekly Global-Rom.
The advantage of global is a bit more debloating. Xiaomi...