We should, as a site, send condolenses to the family. How we'd do that i dunno, but it's something we should try to do.