Would be nice to ping him if you mention his name.
I gave that up long ago after being left off numerous comments about me, as evidenced on this very thread.