But the newly unredacted files reveal details about CIA agents and operations that the agency kept secret for decades. Those details previously had been kept secret by national security officials ...