Board Thread:Character Discussion/@comment-76.209.48.220-20130629021947/@comment-4839682-20130629040427

They don't always use codenames. This may be a situation where they felt the character's real name would help casting. Or, maybe the leak source gave the real name.