Ho aperto Galaxy e non mi ha scaricato nulla. Ho fatto partire manualmente . L'autoupdate è attivato.
2.9 Gb anche qui comunque.