Cometí un pequeño error. Antes de poner el mensaje en el foro me había descargado el TWRP 3.3.1-0 y no el twrp-3.3.1-1 que decías. He vuelto a hacer el proceso y ahora en el proceso de instalar la rom de Xiaomi.eu aparentemente todo comienza bien pero aparece:
Installing zip file 'external_sd/xiaomi.eu_multi_HMNote5Pro_9.5.30_v10-9.zip'
Checking for Digest file...
Target: xiaomi/whyred/whyred:9/PKQ1.180904.001/9.5.30:user/release-keys
Updater process ended with signal: 7
Error installing zip file 'external_sd/xiaomi.eu_multi_HMNote5Pro_9.5.30_v10-9.zip'
Updating partition details...
...done
Falta tan poco uixxx