I think the first option is the best we can do. Ignoring someone may be hard sometimes but just let them get on with it, they obviously have problems and need something to occupy their time, and if we are the target, so be it. I love this place and the people i've met here and with or without all the drama, I will continue to post.