Don't forget Android.

EDIT: doesn't make your point about switching search engines less valid. It is orders of magnitude easier to change than an OS. But Google now spans other areas besides search.