Muchas gracias.

Lo he hecho con la instalación directa, la opción recomendada como dices.
Espero que habiendo hecho esto, funcione la siguiente OTA de diciembre, que esta de noviembre funcionó bien ayer cuando la puse...