Ignoring a user?

[097115]

We can't ignore a certain user, can we? :) (Oh, god, some bots are really too chatty...)

[osa1]

This is currently not possible. I also needed this a few times. Marking as "feature request", would be good to have this feature.