I came to the same conclusion. At my job I learned that one of the important disclosures in his leaked documents wasn't true, it simply did not exist and there was no possible way for it to exist, pretty conclusively*. While this doesn't prove he was a foreign agent, it is certainly very suspicious.

I'm not willing to say more, and I don't expect my comment will convince anyone here. But I assume there are a fair number of other HN readers working at big tech in positions where they can look into some of the claims in the leaked docs themselves, and draw their own conclusions.

* well, assuming no functioning government quantum computers a decade ago, and assuming P != NP.