An upgrade of the Mint shell server from 19.3 to 20.0 is in progress.
Because this is an upgrade involving an upgrade of the underlying Ubuntu system from 18.04 to 20.04, and thus has a greater chance than normal of going south, I am performing a backup of Mint first.
This whole process will result in the server being slower than normal while it is ongoing and there will be times when various sub-systems are temporarily dysfunctional.
If all possible it would be better to use one of the alternate debian based systems, Ubuntu, Debian, MxLinux, Julinux, or Zorin during this period.
I will make an additional announcement when the upgrade has completed.