Board Thread:General Discussion/@comment-23.122.217.39-20150626042307/@comment-27428960-20170118211244

On a further point for pronunciation, real names change how they're pronounced from language to language, so I think we should focus on the pun.