RIP Robin Williams, who rocked.