I correct myself. The news of his death was a mere 8 months after his post, so maybe his friends and relatives learned something after all. The date was so tiny, I didn’t see it at first. My mistake.
.