Итак, на мой Redmi 4a пришло оповещение об очередном обновлении системы по воздуху. Открыл настройки, смотрю... Наконец-то! Так ожидаемая с начала лета MIUI 10. Так, которую уже давно обсуждают на всех специализированных форумах.
Та, которую самые нетерпеливые пользователи установили самостоятельно, не дождавшись официального обновления Xiaomi MIUI 10 по воздуху.