Board Thread:Questions and Answers/@comment-5085906-20130701185014/@comment-1504072-20130701191746

"Old Snake" was just a nickname, not an official codename. I assume "Punished Snake" will be too.