https://www.techfollows.com/browser/how-to-change-search-engine-in-safari/