[fulafel]

How likely is it that the game was really the first outing of a leaked secret name? A random name clash or copying from another source seem just as likely.

Also, making names secret under threat of criminal punishment sounds quite problematic. A name itself after all doesn't convey information, and you have to be able to name something to, for example, contest its secret status through legal channels available to a citizen.

[LoSboccacc]

Beside those names are quite generic on purpose, so I can imagine there are a lot of possibilities for collisions

like, see the list of WWII operations https://en.wikipedia.org/wiki/List_of_World_War_II_military_...

Operation Menace - Corkscrew - Dracula - it's extremely likely to have a name collision if anyone where to come up with secret operation names.