Want: clear separation between Github user comments, and automated comments.

I want to be able to remove all automated stuff from searches, statistics, scrolling, etc.

Currently browsing repos where 90% of the interactions are bots, and it's horrifying.

Put them in a separate tab / put them anywhere else, but not where people are supposed to interact with each other...