Desde que essa extensão não está ativa no E.G.O. por mais tempo, eu diria que você instalou manualmente, e talvez a instalação tenha sido corrompida de alguma forma.
Primeiramente, sugiro removê-lo executando o seguinte
sudo rm -R .local/share/gnome-shell/extensions/[email protected]
Se isso não funcionar, provavelmente foi de alguma forma instalado em todo o sistema, por isso tente
sudo rm -R /usr/share/gnome-shell/extensions/autohidetopbar2\@werewolves.us/
e então possivelmente tente reinstalá-lo, você pode precisar primeiro reiniciar o shell, então faça logout e login, reinicie o sistema, ou faça Alt + F2 , r e Digite
Para reinstalá-lo, basicamente você deve apenas clicar com o botão direito e extraí-lo, então a maneira mais fácil é manter esta pasta aberta e fazer o seguinte.
Agora execute Alt + F2 e cole
~/.local/share/gnome-shell/extensions usando Ctrl + v ou clicando com o botão direito, cole.
Em seguida, clique com o botão direito do mouse e copie o diretório de extensão "extension_folder @ domain", esse diretório é o que contém o arquivo extension.js e o metadata.json, cole-o na outra pasta ~/.local/share/gnome-shell/extensions ou simplesmente arraste-o para lá.
Em seguida você tem que reiniciar o shell executando Alt + F2 , r e Enter e deve estar disponível. Depois que eu souber os detalhes da extensão, posso fornecer instruções alternativas, mas essa é a maneira mais fácil.