It’s normally considered obligatory to actually ping someone you mention. Otherwise you’re acting like a tattletale hiding behind the kindergarten aide’s skirts.
You’re correct, and I am aware of the protocol and how it looks. But I choose to not dignify that perverted man with a ping.