Pero y qué más da.
A los que les gusta Miui les debería dar igual usa que Android está tan modificado que no se notan los cambios en la versión de Android 10 y mientras actualicen la varios habrán parches de seguridad.
A los que les gusta AOSP siempre han dependido de la comunidad y llevan tiempo trabajando para traer Android 10 así que llegar llegará.
No deberíais ofuscaros tanto, al whyred le queda bastante cuerda.