Month-old news. He died on 8th September 2017. https://www.jerrypournelle.com/