Depois de atualizar para o Fedora 31, minha visão geral de atividades (quando pressiono super) não tem barra de pesquisa. Digitar algo como 'terminal' e apertar enter também não tem resultado, então não é apenas um problema de exibição. Todo o resto parece estar funcionando após a atualização. Isso é configurável? Um bug conhecido? Algo mais?
Minha gnome-shellversão é 3.34.1.