Thanks. I don't tend to rise to such personalities, but I equally won't let their comments off the hook and allow toxic behavior to propagate unchallenged.
This is the only way to maintain a solid level of discourse on online forums in this day and age. Hopefully more commenters will take the approach you have.
