As opposed to Facebook simply not allowing you to export your contacts?
What if you would have picked today (or rather any other day) to set up a new gmail account for your girlfriend and needed her facebook contacts?
What if you would have picked today (or rather any other day) to set up a new gmail account for your girlfriend and needed her facebook contacts?