This just showed up minutes ago. We’ll have a fuller obituary later today.