Também postei essa pergunta para Fóruns do Ubuntu , onde foi respondida pelo moderador Frogs hair. Sua primeira solução (que não teve efeito apreciável, mas está incluída aqui por completo) foi
sudo apt-get update
sudo apt-get install gnome-session-flashback
Sua segunda solução (que funcionou) foi uma que ele aparentemente encontrou aqui no Ask Ubuntu:
cp /usr/share/applications/gnome-panel.desktop ~/.config/autostart/
Ele não forneceu um link para o post, e diz que o post não incluiu nenhuma explicação, então eu estaria interessado se alguém pudesse me dizer o que esse comando fez por mim e por quê.