Znalazłem rozwiązanie, może komuś się przyda:
„Jeśli nie znajdziesz wpisu w Opcjach programisty, oto co możesz zrobić: Iść do "Ustawienia / Dodatkowe ustawienia / Opcje programisty", przewiń w dół i kliknij kilkakrotnie element „Przywróć wartości domyślne".”
Po kilkukrotnym kliknięciu pojawia się opcja "Wyłącz optymalizację MIUI".
Jak w tytule: po ostatniej aktualizacji MIUI (do 12.0.3.0) nie mogę odnaleźć tej funkcji (była na samym "dole" w "opcjach programisty", przedostatnia na liście). Używałem jej do instalowania aktualizacji aplikacji ze sklepu Aurora. Proszę o informację, czy to jakieś przeoczenie w aktualizacji i ta funkcja zostanie przywrócona (może tak już bywało?), lub jakąś inną podpowiedź. Telefon: Redmi 7A 2/16.