This is terrible news. Does anyone here have some

This is terrible news. Does anyone here have some kind of contact info so that they can pass on to his family or friends our condolences as a group? Many of us have lives online that our family and friends are not aware of -- his family might want to know how many of us are shocked and saddened at this news.