It is courteous to ping a Freeper mentioned in a reply post. When posters fail to do this, we generally point it out on thread. And if the remark is apt to incite a flamewar, we usually pull the post.
I didn’t mention anyone.