Fox News Cable channel carried the story.
BBC world news carried it, too.
I'm just realizing if he passed away on Saturday, I was busy with a more personal funeral and not paying attention to the news of the day.
So, yes, he likely got more notice than I thought. That's at least heartening.