Reading about the Tanenbaum-Torvalds debates: