Documentation
Adding the addresses to Google Contacts
Four steps, on a computer. Google Contacts has no import on a phone, so this is the one part that cannot be done from the Gmail app.
The import
- Open contacts.google.com.
- Choose Import in the left-hand menu.
- Choose Select file, and pick mailwhen-google.csv.
- Choose Import.
They arrive under a label called MailWhen, so the whole set can be found together and removed in one action if it turns out not to suit you. Gmail's autocomplete picks them up straight away.
If you read Gmail on an iPhone
To point the phone at Google instead: in Settings, then Contacts — on recent versions of iOS it sits under Settings → Apps → Contacts — open Default Account and choose your Google account. It has to be listed there already, under Accounts, with Contacts switched on.
With that set, opening mailwhen.vcf on the phone puts all of them into Google Contacts directly, and the four steps above become unnecessary.