Although I'm very tempted to start, I'm still reluctant to ignore users because it feels "permanent" and I don't want to miss out on their contributions if they decide to change their posting habits.
I don't quite see the ignore option as permanent, even though I don't use it often.
When scrolling through the forum, you can still see the replies of users you've ignored, and their threads are still visible on the board landing oage, it's just dimmed and not as visible as others.
The point is, ignored users do not fall under your radar, you can always temporarily
unignore them to check out what exactly they posted, and if it's more of the same, you keep them on your ignore list. If, however they've improved, you can consider leaving them unignored, or check their profile to check their last couple of posts.
Theymos is highly unlikely to add a new feature, so it's up to you to regulate it the way you want.