@zkline Oh no! I didn’t know that! I knew him but not that well.