Migrating emails from Gmail to new email server

I came across mention of IMAPSync and Larch as tools to move emails out of Gmail to a new email account. Does anyone have any experience using these?

I have a family’s worth of email gmail accounts all of which are running out of space and will need to be moved to a new email provider. They would of course all like to keep their historical sent and recieved emails.