Yep, end of story, for now. I wonder if any enterprising journaliste could undertake to dig up the facts in subsequent years, and make the “scoop of the decade”. I’m not gonna hold my breath.
We will just wait until the Chinese and/or Russians start using this info to blackmail “the one”.