This represents a 20% reduction in its Chrome user base (20 to 16 million users).