Thread:LarsMars/@comment-1216896-20180707030801/@comment-24692230-20180707041003

As it only happened once, I don't think that protecting the article is needed imo.