First, those names were put out by a foolish mistake by a Guardian journalist by releasing the encryption key. Second, as far as I know, no one can point to a single person who was harmed or was even put in danger. And there were risk/damage assessments performed by the government so you would expect the fact that someone, without being specific, had been put in danger to be made public.