pull down to refresh

I had never noticed that it’s possible to mute users. I prefer to ignore and not interact with those I don’t like, at least the ones whose names I remember. And I interact and contribute with those I like and follow.