NB for late readers: above was for the originally-submitted WSJ link. Unfortunately it doesn't capture the full obit.

See: <https://news.ycombinator.com/item?id=40934189>