The second-biggest shareholder of Red Hat Inc. has sold millions of shares of the software company, but says he still likes the
company and sold only to diversify his portfolio.