Kann man Linux #mint jetzt schneller auf 20.1 upgraden? Oder sind die Server immer noch so langsam?