pull down to refresh

Is it coming soon? A way to mute people would make coming here more enjoyable. I was going to build a Chrome ext to do this, but if it’s coming soon I’ll just wait.
reply
Oh, you had a similar idea, haha
I was thinking about a tampermonkey script. See my comment above
reply