Dennis Ritchie has died?

Oh, dear. Rob Pike is reporting that Dennis Ritchie has died. This is very sad news. He certainly was one of the top ten figures in Computer Science in my lifetime.