RIP Bay Area legend Robin Williams, a resident of Marin and a regular friendly face on Haight Street. Condolences to his family & loved ones.