Browsing: linus torvalds net worth forbes