This, I feel, is very needed. /ignore is very useful on other servers if someone is just generally being a pain, yet not breaking any actual rules (and so staff are useless in this case, as the person has not actually made an offence).
Trying to work things out is good, but there are some cases...