It was added, but it never got pinged!"
(ahem) I was meaning to speak with you about your pinging promptness but decided not to because you do eventually get to it. (Who knows, you may have been busy, six years ago!)
You must have *loved* that nine year old one I pinged.