Interesting. Makes one wonder whether or not even Cumberbatch knows who John Harrison really is. I wonder if they filmed multiple "endings" that unveil his identity, to dilute the potential for secrecy leaks. Sort of in the same way there were several different versions of the "No, Luke, *I* am your father!" scene from Empire Strikes Back (one version of the script had Vader saying "No, Luke: Obi-Wan killed your father."... which I suppose retroactively would be sort of true).