If you are going to mention someone you have no respect for, you do not have to PING them.
No.
Forum rules were that if you mentioned someone, you ping them.
That was forum etiquette backed by banning once upon a time.
The kids were very strict on that once.
The one exception was: banned posters.
Example, burkeman1, johngalt, owk, fungusfingers.
All banned, no ping needed.