@serge It's always nice when mail migration goes smoothly. I keep meaning to do this.
The Fastmail folks made it genuinely easy and straightforward.
I had to migrate because Gandi has started charging for their email service, which is full of problems.