Digital Ocean, where the virtual server for this site lives, is doing a migration/upgrade. They’ve warned me of this half a dozen times and given me the option to manually start the migration…