Any good Robin Williams documentaries?

I'm watching Super/Man and was surprised to see Robin Williams in it as a friend, classmate, etc. with Christopher Reeves. That got me thinking. Are there any official documentaries on Robin Williams too?

Thank you for reading and hopefully answering. :)