I came to know when Jeff Dean tweeted about it in September [1]. Truly a great loss.

[1]. https://twitter.com/JeffDean/status/1705042899677884630