She may not have leaked them, which is the crime, but she had the names unmasked and placed in the PDB which was distributed to dozens of hacks including, among others, Podesta and Shrillary, ensuring that it would be leaked.
She just had to unmask his codename that was assigned to DJT, disseminate THAT, then the PDBs could be read masked. I think we can find his IC serial number somewhere in Podesta’s emails, if we look.