[333c]

Regarding getting off of Gmail:

I switched away from Gmail at the start of 2018. So far everything has gone smoothly. My new email provider (Fastmail) has a tool to import all emails from another provider, which ran overnight. I forward all mail from my Gmail address to my new address. One feature of Gmail which makes it particularly easy to switch away from is that it's free, so I can keep my Gmail account open indefinitely to forward mail.

Asking people to update my address hasn't been a huge problem. Even when they email me at the old one, I still get their messages.