Linus Torvalds: el dev mejor pagado que cambió la tecnología