Hola, lo primero gracias por la nueva versión :-)
Sobre el tema de la descarga, yo (como imagino que muchos) lo que hago es descargarlo a través del jdownloader (hay bastantes programas del estilo).
Así ni hay el problema ese de tener que instalar nada porr ser un archivo grande, y sobre todo que si por algo se interrumpe la descarga no tiene que comenzar de nuevo, continua por donde esté.
Saludos