How do I change the default search engine in Internet Explorer 10 on the Windows 8 platform? The only instructions I can find work only with IE9.
Or, alternatively, is it possible to download IE9 for Windows 8? I couldn't find that on the Microsoft website. Thanks for your help.

