Problema resolvido. De alguma forma, o plug-in do Dash para Aplicativos foi desativado durante a atualização. A reativação curou o problema. Eu me sinto tola por não ter visto isso antes, mas aprendi alguma coisa. Com certeza é bom ter o recurso de pesquisa de volta.