Sorry about the ping to all, all.
**************
What’s to be sorry about?
There’s a user named All. He’s the only one who sees it. I didn’t see this post in my ping list, for example.