Possible to MUTE users?

[needhelp]

@geoff777

You can find the settings by clicking on your profile pic, then preferences/users

Thanks! but it says that mute function is to “Suppress all notifications and PMs from these users.” only, sounds like it can only mute notifications and PMs only, it doesn’t say it can mute or hide the offending user’s posts from showing up in the thread.