*****************************
There may not be a written rule, but it is considered common courtesy to ping someone if they are mentioned in one's post.
So what?