Add ability to mute comments from certain users

[fregante]

The feature existed but was broken. More info found in #2298

Removed in b276f2a, you can probably revert the commit and rewrite the hiding behavior as suggested.

Originally asked in #1629

There are certain users that do no harm, so I don't want to block them, but they generally produce low-quality comments and I just don't want to see it. Would be nice to be able to hide comments from them. This is different from blocking a user in that they won't know that I'm muting them and it would work on other people's repo too.

It would be a text field in the settings that accepts a list of usernames.

[fregante]

Extracted from #4808 (comment) for quick reference.

---

Now this feature can no longer be implemented in Refined GitHub because it essentially needs "options" to show the list of collapsed user, which we don't do

The good news is that in Safari 15.4+ and Chrome 105+ you will be able to write your own CSS to hide/collapse bot comments. I will very likely use this myself.

Example CSS:

.timeline-comment:not(:hover):has(.author:is(
	[href="/apps/github-actions"],
	[href="/codecov-commenter"]
)) {
	overflow: hidden;
	height: 100px;
	opacity: 50%;
}