The case over who owns Linux is dead, barring a long shot The Next Web