@adders I tracked down his last post here which I see repeated elsewhere. I think you are right, he's gone. That makes me sad, I'll miss him.