I had a need to migrate this server to a different provider for cost reasons.
This was also a good chance to document my process since I did NOT do that last
time.
I ended up going with Digital Ocean [https://www.digitalocean.com/].Amazon
[https://aws.amazon.com/lightsail/