Board Thread:General Discussion/@comment-24412362-20141122020629/@comment-25132702-20141122224847

If we don't rename th Thomas page, I think we should put in the trivia that his real name is Nikolai.