Very much so. The problem is, she sill keep posting, thus making the banter inevitable unless we either ignore her or ban her, both of which doesn't turn out good. That is, unless you have a better solution for dealing with one of said people who clearly doesn't want things to get any better. Not to say that the banter is a good oslution rather, it's the only solution that, to me at least, makes any sense.
You already said it;
And, thus, we'll leave them behind.
That or just simply walk away and off to something more worthwhile to invest time into. At least that's what she's doing now, which is a good start.