I didn’t mean to slight you; I pinged Kolokotronis because he has a ping list, as well as the others to whom I addressed that initial post.
I do not maintain my own ping list any more and instead piggiback on others.
Kolo gave me the list. It’s on my profile and I ping all of them.