Was Dennis Ritchie more important than Steve Jobs?