Turn a Gmail export (.mbox) into a contact list — name, email, phone, role, institution.
Tip: in Google Takeout, choose Mail and download the .mbox.
Spam, trash and exact duplicates are skipped automatically. A very large mailbox can take a
few minutes — the bar shows progress.