What Red Hat Has Done is Worth So Much More Than a Billion