Thread:Undoniel/@comment-4651179-20170502001037/@comment-3406131-20170923114001

Found the middle ground: I hide the "redundant" (not really redundant because they serve their own purpose) with the "comment visible only to editors" brackets.