Dúvida: Nome do plugin nas janelas com botão SUPER

Lembro-me de um vídeo que o DIO comentou usar uma extensão na janela ATIVIDADES ou botão SUPER que as janelas ficam com o logo do programa pa facilitar identificar as janelinhas na área de trabalho.

Alguém lembra o nome dessa extensão?

Meio confuso essa explicação, poderia coloca uma print pelo menos mas creio que seja essa aqui:
https://extensions.gnome.org/extension/302/windowoverlay-icons/

(Não sei se ta falando do gnome, mas foi a que mais me pareceu com a descrição)

YugiMoto, obrigado, era esse mesmo que estava tentando encontrar e não lembrava o nome.