Lo comento por si a alguien le resultara útil: Al intentar instalar el zip de 9.5.13.0 oficial desde
recovery de
@Iceman-IT he hecho Wipe de Caché, System y Vendor únicamente. Al instalar el zip me la saltado el error de "archivo corrupto" (lo descargué usando el gestor de actualizaciones de MIUI) y he tenido que usar mi copia de seguridad. El caso es que solo he restaurado System y Vendor (no imagen de Vendor) y me ha arrancado bien, con las cosas en su sitio y, por ahora, sin errores aparentes.
Un saludo.