… has died, at a great age. Somewhat anodyne obit in the Guardian. I expect the WSJ did him proud.
Later… They did. My friend Andrew, who subscribes to the WSJ, sent me links to four pieces — all about to disappear behind the Paywall, alas. But this one (from Fortune.com) is public.