Appelbaum wrote about and cited this in his thesis.

It would be no surprise if spy agency workers were employed in Tor. It is no surprise if they are also employed in other anonymity, privacy, security, and software and hardware freedom projects.

It is of interest how much, where, and to what ends.