Board Thread:General Discussion/@comment-24412362-20141122020629/@comment-4742142-20141122185908

I don't think we should rename the Thomas page. Yes, he's really Nikolai/Nicolai, but we all remember him as Thomas, and that's how I want to remember him.