Hola fozzy,
gracias por contestar y perdón por no postear en su sitio
No sabía eso de que la versión dependía del terminal.
De todas formas, quería hacerle un hardreset para eliminar mucha porqueria que tengo, y de paso me he decidido a hacerle un debrand.
Pero he leído algunos posts que decían que htc había retirado la OTA, otros que la habían vuelto a poner... sabes si siguen mandando la actualización vía OTA?
Gracias!