I only found out about the death myself about a week ago, and it was only because I stumbled onto someone else's post mentioning it obliquely. I still don't know the cause of death, but I'm sorry about the news.