Percebo que há uma extensão gnome-shell para substituir o botão de atividades por um logotipo personalizado, mas não é disso que preciso.
Há uma extensão obsoleta do configurador de atividades, que não é compatível com a versão do Gnome que estou usando.
Tentei substituir os logotipos de diversas resoluções disponíveis em "/usr/share/pixmaps/". Não foi possível fazê-lo funcionar. Consegui substituir o logotipo de inicialização, o logotipo da tela de login, mas não consegui encontrar este.
Quero que o botão de atividades esteja lá e apenas substitua ou remova o logotipo do redhat, que é colocado no lado esquerdo do texto "Atividades".
Eu uso RHEL 9.2 Gnome versão 40.4.0