“Ok, so this should put to rest any question about his citizenship.”
There never was any question about his citizenship. The question is whether he is a naturalized (not eligible to be Pres or VP) or natural born (eligible) US citizen under the law as those terms were defined when he was born. These are legal terms with speicific definitions and requirements, and the only real implication is eligibility to be Pres or VP.
He clearly was the former because to be the latter one of his parents had to be a US citizen for 5 years before he was born. Neither was. That’s how the law was defined then.
Doesn’t matter, though. The issue will never see the light of day. People apparently can’t grasp the concepts (even though they aren’t that complicated and are very clear cut), people keep mistaking the core issue (it is NOT about whether he is a US citizen), and nobody seems to care anyway.