In the case at hand, whereas the two posts were mentioned, the posters themselves were not, so there was no obligation to ping them.
I still think it’s most discourteous to talk about the without the pings.
Thanks for your feedback.