[ivan_gammel]

This case does not worth to pull the spies. If such intelligence was collected by spies (which I highly doubt), it would mean they have extraordinary access to information and they are too valuable to be exposed on such cause (it's much more important to keep them on their place and continuously monitor cyberwarfare capabilities of Russia). Protecting them would be the top priority and there would be a whole another game to hide their traces (probably not pointing to Russia at all and taking hidden asymmetric measures). So, I don't believe such information could be collected by spies if intelligence community presents it this way.