Aparentemente, adicionar um novo teclado Input Source
(em System Settings
- > Text Entry
) e, em seguida, selecionar novamente o anterior corrigiu o problema.
Edit: eu também corri sudo apt-get install --reinstall ubuntu-desktop
antes da reinicialização, então isso também poderia ser a razão pela qual o problema desapareceu.