In my contacts, I generally display only contacts stored on my phone.
(My gmail contacts include practically everyone I've ever sent an email to. They're nice for auto-completing the recipient when I compose mail, but I don't want to see them when trying to find someone in the contacts list on my phone.)
However, here and there I find a gmail contact I'd like to be on my phone. How do I copy a single contact to my phone? I've seen ways to export them all, but I don't want to do that.