It's not too bothersome, really.  Ignoring someone doesn't take too much effort. I think I haven't deleted him yet mostly because I don't want to give up on him eventually getting the hint. Kind of an experiment on my part. 