OK. I saw the obit in someone's timeline, saw the month but not the year and figured it was one of the many stories lost in the pandemic.

Still worth knowing about.