I think the definition of natural born citizen is no longer operative. I wouldn’t sweat it too much.
And yet, the definition of natural born citizenship is a constant topic of comment, here on Free Republic.
I don’t know why this is, but it comes up over and over.