So I imported all my old Gmail emails into Fastmail (they offer an easy UI to do this) and set up forwarding from Gmail to Fastmail for new email. I will add more text to my blog post to clarify this. Sorry the post was a bit rushed and I certainly didn’t think it would make it to the front page of HN!