Board Thread:General Discussion/@comment-35406941-20130910224716/@comment-4500149-20130911000130

That's a good question. I'm not sure if we should link to userspace in articles. I guess since it is his official page, though, it would be okay to mention in the trivia or history that he made an account here.