@matigo you forgot one other important tool: unfollow. :)

It's more of an issue of taking the time to actually use those tools (assuming you know they exist). A "mute mentions of user" might be handy though, if you're asking :)