Desde hoje eu não tenho mais nenhum problema em sair de uma sessão do gnome-shell. Eu acho que uma das atualizações recentes deve ter corrigido o problema, mas eu não sei qual delas. Eu relatei o bug aqui , mas não tenho certeza se o relatório tinha alguma coisa para fazer com a correção. De qualquer forma, problema resolvido!