It may not change much now, while Google is dominant and profitable in both markets, but it would prevent using Android revenue to prop up search in the future,

It may not change much now, while Google is dominant and profitable in both markets, but it would prevent using Android revenue to prop up search in the future, if say DuckDuckGo became the leading search engine.