I will probably feel sorrier (more sorry?) when Linus Torvalds dies.