NASA JPL page from last month:

https://www.jpl.nasa.gov/news/ed-stone-former-director-of-jp...

https://news.ycombinator.com/item?id=40651715