How much do you think Linus Torvalds has coded over the last decade? Why is he still able to do his job?