Let users hide from other users

Was this ever implemented?

I’m looking (as a regular user in a forum) for a way to hide all posts of another user which posts I find boring/annoying.

I only want to hide the posts for me, not for all other users.

Just like the “mute” function in Twitter.

Looking through the #releases at 2.3 I found no sign that this was implemented.

Looking at the profil of this very user I want to hide, I also see no option to hide/mute the users postings.

Any way to still do this?