That’s what I told him… just set Safari to use it in Settings, but it seemed like he had already done it and was now invested in using a whole new app just to switch search engines. This is a symptom of the app-based model people now think in.