Linus Torvalds, creator and curator of the Linux kernel, has a quandary on his hands: should he stick to Linux's long-time tradition of massive, multple-decimal-point version numbers, or should he ...