Rest in peace, Robin Williams.