So Linus Torvalds has created two billion-dollar industries in his spare time?