@ariadne He was not that old. Not that it matters, it would have been very sad news either way. I hope his family is handling it okay.