E. Allen Emerson has died

I just learned that he passed away on October 15, 2024. I could not find any HN posts about this, so I’m sharing it here a bit late.