RIP Dennis. Now that's a guy worth mourning about. I'll check CNN and the BBC to see their special reports, surely if they had them when some marketing CEO kicked the bucket they'll give at least ten times the amount of coverage to a man who was 100 times his better!
We on HN realize the significance of his work, but most other people won't and that's OK as we all benefit from the things he did whether we realize it or not.