Eu deveria ter especificado que eu tenho uma placa gráfica da nVidia, mas eu nem achei que o driver gráfico pudesse atrasar todo o sistema.
Eu li em outro lugar que usar o driver nVidia "Recomendado" do aplicativo Additional Drivers
poderia acelerar o Gnome Shell (ou talvez fosse melhor descrito como não lento). Eu fiz, e o problema foi corrigido. Espero que isso seja útil para outra pessoa.