Linus Torvalds and the Supposedly “Garbage Code”