I had no idea. Thanks for the info.
The marriage index has been posted somewhere around these eligibility threads. Maybe do a search for it on FR or google.
our best bet might be to get a 2 week just over the border alien to file for a primary in a large state like Texas.
Maybe Trump can fund him.
Then when the OBVIOUS problems with his eligibility are apparent to all, he can contest the (automatic) refusal of the AG to allow him on the ballot.