re: #533 HappyWarrior

Death was his cause of death.

I remember some time ago an article about a plane crash stating that the cause of death of passengers had not yet been released. I’ll just leave that there.