Todas as extensões do shell do gnome estão aqui: Extensões do Shell do Gnome.
Você deve ter um ambiente gnome-shell ativo e a ferramenta gnome-tweak instalada. Vá para a página e clique em "Sobre" e você verá como você pode instalá-los. Na barra de pesquisa, você pode pesquisar qualquer tema desejado. Exemplo: Temas do usuário
A instalação é muito fácil, basta clicar no botão de luz. Você vai descobrir isso.