https://mamchenkov.net/wordpress/2016/07/28/exporting-messages-from-gmail-with-fetchmail-and-procmail/