Ick. Don't ping the trolls. ;-)
Well when I mention someone, I ping them. It is a hard wired rule of mine.