A little bit of happiness has gone out of this world. RIP Robin Williams.