Bueno, ya he podido cambiar la ROM, he puesto la xiaomi.eu 8.8.9, pero me ha costado bastante, y parte del problema que tenía persiste, y me explico: No me funciona el táctil al instalar ningún TWRP, excepto el de Mrraines, y he probado todos los oficiales y uno modificado, y ahora mismo, con la ROM nueva tampoco funciona el táctil.
Bicheando mucho por internet, es posible incluso que haya visto alguna referencia al programa en este foro, pero no lo recuerdo, he descubierto un programa, XiaoMi Tool, según parece desarrollado por un tal Francesco Tescari, con el que he conseguido cambiar la ROM del teléfono, así que problema definitivamente resuelto, creo (Lo que me ha funcionado a mí puede no hacerlo en otro teléfono, por la razón que sea, así que no me responsabilizo de los posibles efectos perjudiciales que pudiera ocasionar el mencionado programa en otros aparatos. Yo me he arriesgado a dejar el teléfono como un pisapapeles, así que allá cada persona).
Doy las gracias a todas las personas que me hayan leído y, sobre todo, a todas aquellas que han escrito en este hilo o en otros abiertos por mí relacionados con el mismo o parecido asunto.
Problema solucionado. Se puede cerrar el hilo.