Migration complete
As 2020 seems like a good year to get stuff done that has otherwise been neglected, I finally migrated my setup off a very old DigitalOcean droplet. It had been a steady host for years, but my initial plans to migrate from Ubuntu to CentOS7 a while back were never really completed. Centos8 is the new goodness, and I must say it was mostly a real pleasure to set up via DigitalOcean.