especially if you have a custom domain with google workspace (or whatever it's named now). my switch to pointing my domain from google to proton was totally painless, you can migrate all your old emails, etc.

i imagine if you just have an @gmail.com it might be a little more annoying what with having to do forwarding, but still worth it.

Proton doesn't support pop either?

I didn't need it. Alternatives like fastmail should be good in that case.