Es que yo he estado con miui9 con la dev medio año y nunca ha faltado, por eso me extraña. A las malas si te es util(para mi si lo es), instala la dev, va muy bien. Yo me pasé a la Eu para probar ya que iba a rootear y estoy encantado, pero la dev tambien me iba bien.