Thanks for the tip. I've tried that option but it doesn't seem to work at all for large mailboxes. Also gmail doesn't expose any api for exporting mailboxes, so fastmail still has to copy each message individually which is very time consuming.