Care to provide the set of CIA agents? It's not known to me. I'd also be grateful for the set of doxxed politicians/people. I haven't tried digging for it yet, but my experiences with the media lead me to believe they won't bother to provide an actual list.