Oui, il l'a fait. MIUI est par-dessus. Quoi qu'il en soit, il est possible de se débarrasser de MIUI et d'installer une rom personnalisée, comme "Pixel Experience", vérifiez sur le forum XDA. Le résultat sera le même OS que le téléphone Google Pixel, sans MIUI.