Yes, he did as I just learned today. Thanks for posting this. Not the world’s biggest Robin Williams fan, but always good to give credit where it is due.
My feelings exactly. I didn't care for him much either as an actor or comedian, although I did like the movie Awakenings, with him and DeNiro.
He always gave me the willies, but didn’t seem to have an agenda other than to make people laugh.
The world is a poorer place today, a good guy all around