Deswegen - so zumindest meine Meiunung (aber die interessiert ja sicher nicht) sollte man eigentlich immer vom 'Normalfall' ausgehen und nicht von 'ausländischen' (oder 'gebastelten') ROMs.
Es sei denn, Xiaomi resp. Redmi resp. MIUI (oder wer da auch immer seine Hände mit im Spiel hat) ändert das Menügefüge bzw. die Ansicht und die daraus resultierenden Meinungsverschiedenheiten oder Auffassungen von Version zu Version im quasi Minutentakt.
Das ist dann irgendwo, irgendwie frustrierend.