Linus Torvalds: “Theory and practice sometimes clash. And when...”