Eu tive que redefinir as configurações do Internet Explorer. Com base no comentário do @ techie007, percebi que não havia nem lugar para inserir provedores de pesquisa - não havia um ícone de classe de ampliação, nenhuma lista de mecanismos de pesquisa na parte inferior quando você começa a digitar e, portanto, nenhum botão "adicionar" para adicioná-los . Depois de redefinir o IE com o botão Opções da Internet e > Avançado > Redefinir, consegui adicionar novamente os provedores de pesquisa.