Bueno, pues me he liado la manta a la cabeza y he instalado el smart home. Lo único es que hago la instalación del plugin manual (copio el archivo plugin, cambiándole de nombre, en el directorio /data/data/com.xiaomi.smarthome/files/plugin/install/mpk/108), pero no me cambia el idioma a cristiano, sigue en chino.
Lo que sí he observado es que el nombre del fichero que allí se encuentra no es el 772 como dice el 2º post, sino el 1730 (ya leí a @
npir que eso se debe a la actualización del plugin). He probado con ambos y nada
sabéis a qué se debe?