per manualmente intendo il comando (da terminale)
sudo update-manager -d
questo per non aspettare il pop automatico
ma in questo momento i server sono intasatissimi per cui anche il comando manuale avrebbe gli stessi problemi
il mio suggerimento andava attuato qualche gg fa