The other day, I heard how a project with a code name was actually launched with the very same code name. It kind of makes a mockery of the secrecy that “code” names are supposed to provide, no?

Also, under …