HN discussion shortly after Dave Mills died, early in 2024: https://news.ycombinator.com/item?id=39051246