Would be nice to ping the person you are talking about.
I already pinged Jim on post 133. There is a difference between "talking about someone" and mentioning them in passing. I think Jim has a lot more to do than worry about it every time his name is mentioned.
Who appointed you "hall monitor"?