User blog comment:Randomno/New wiki nickname/@comment-961279-20120706142451

I am closing this discussion for the time being. Randomno was the one who wanted to change the wiki's name and he is not here much here any more. If we decide to reopen this issue, it will be in a forum as official wiki business.