However, responding to his posts is optional. I usually choose not to.
I suggest the rest of you try the same if you find his posts combative or instigative.
To be quite honest, I see more personal attacks toward AWK than from him, and they're usually without sufficient provocation.
No more personal attacks.