Has Linus Torvalds won the long battle with Microsoft?