Danke für die Info - wusste ich nicht. Die ROM funktioinert ja soweit sehr gut (dt. Sprache vorhanden, Google Play Services drauf, keine "Müll-Apps").
Allerdings lassen sich mit der Updater App keine anderen ROMs installieren, die App liefert immer eine Fehlermeldung bei der Überprüfung einer ROM. Habe original MIUI (auch Developper) und xiaomi.eu probiert.