<div dir='auto'>This is truly sad news.  May he rest in peace.</div>