Looks like there’s actually an option to ignore users properly now
I tried it out and it hides the replies from the users you’re ignoring (you can still expand them) and as far as I can see, you can’t see any threads from them that they make.
More details here: