I'd say the 88% of profits coming from Google is in line with how much Google owns of the search market. It's not a particularly stunning number; if the search market was more distributed, Mozilla's revenue would be more distributed.