Acabei de atualizar meu diretório do HOME, limpando todos os tipos de "lixo" antigo, prestando especial atenção à limpeza do diretório .config. Eu também criei um novo usuário para obter uma nova cópia dos arquivos .bashrc e .profile. Isso parece ter resolvido esse problema (e outro).