Ayer instalé la Miui EU, 12.0.18.0, y la verdad que no encuentro mucha diferencia con la Global.
Así que seguiré usando este gestor, que parece 'cojonudo' (muy bueno) y muchísimas opciones para personalizar (customizar, para los que no entiendan el castellano, jejeje).
Lo dicho, de momento me quedo con Miui, me está costando acostumbrarme a ella, sobre todo viniendo de LG.