Back when the board had manners you only pinged a LIST of users if they requested to be on your list.
Pinging someone who is part of a discussion is different.
Notice that she has her own self created ping list.
Whatever. BTW, I’ve never pinged anyone for anything. I guess you need to ping people who can’t pay attention.