Estou usando:
Às vezes (1 de 2) quando faço login, a primeira coisa que acontece é que algo falha (parece ser o gnome-shell) e todas as extensões que eu tinha são desativadas.
Eu preciso ir manualmente e ativá-los novamente.
Parece semelhante a este problema, mas não é o mesmo: As extensões do shell do Gnome são desativadas após a reinicialização
Alguma dica sobre o que procurar? Eu odeio que ele esteja travando no login. Eu não me importaria de atualizar o gnome se alguém fornecer um PPA confiável / seguro.