Farewell to Robin Williams: a thank you note