[dannyobrien]

They were not. (Though IIRC it was unclear from the leak that the IC were successful in targeting their servers; it just indicated that they had a good idea of how they might do that.)