Thread:LarsMars/@comment-25718003-20160216190421/@comment-26457410-20160216191246

It's actually a real nickname, but I don't think it's necessary to add in the article considering there's already a nickname from Greg in the list.