I made the move some time ago. There are some unpolished parts here and there, but I'm glad I made the move. Somewhat unrelated criticism of Gmail - during the

I made the move some time ago. There are some unpolished parts here and there, but I'm glad I made the move. Somewhat unrelated criticism of Gmail - during the migration, I found out that there is no way to search for starred archived emails in Gmail. They don't show up in Starred, nor in any search with is:starred. Their star status also doesn't carry over when migrating.