What struck me most is that the names given to these tools aren't the typical governmental type names. These are hacker type tool names. These hackers working

What struck me most is that the names given to these tools aren't the typical governmental type names. These are hacker type tool names. These hackers working for GCHQ are the worms that were turned.