Right you are on both counts.
Ideally, the favorite search engine should be set by user in Settings.