Gracias por contestar, Rafa.
Ejecuté dos veces el programa (depués de leerme 50 veces el tutorial)

.
Antes del proceso partía de las siguientes versiones:
Android: 2.3.5
Htc Sense: 3.0
Ahora tengo:
Android: 2.3.3
Htc Sense: 2.1
Me sigue extrañando que siga saliendo el logo de Vodafone en el arranque pero tenías razón: o sucio el alojamiento de la SIM o no había encajado bien la tarjeta. Acabo de probar y chuta con una de Pepephone.
Ya que te he molestado… me puedes aconsejar una ROM?.
Para meterle la última oficial hay que desrootearla, no?. Y se perdería también la ‘liberación’ del terminal, verdad?.
Mil gracias otra vez!!.
Vaya susto que me llevé (no dormí bien de los nervios)