Consegui resolver isso por:
- Inicializando o Live CD do Ubuntu Gnome 17.04
- Montando meu sistema de arquivos (
sudo mount /dev/sdaX /mnt) - Copiando as extensões do sistema de arquivos do Live CD para meu sistema de arquivos real (
sudo rsync -a /usr/share/gnome-shell/extensions/ /mnt/usr/share/gnome-shell/extensions/)
Acredito que isso tenha algo a ver com versões incompatíveis da extensão e do shell do gnome, mas não tenho certeza.
Editar:
Esta é uma solução mais simples:
Como atualizei a extensão usando o Google Chrome, a versão atualizada foi salva em ~/.local/share/gnome-shell/extensions e a original ainda existia em /usr/share/gnome-shell/extensions , portanto, o problema pode ser resolvido simplesmente digitando rm -rf ~/.local/share/gnome-shell/extensions/[email protected]/