Yeah, that sound about right. I don't remember it ever being confirmed what, if anything, was actually compromised by the leaks. But I doubt that we'd ever get specific details on something like that from the government, anyway.

Though I imagine that a lot of ongoing operations at the time probably had to be cancelled prematurely, the consequences of which might never really be known.