OK, então a resposta é: por algum motivo, durante a configuração, todos os elementos da interface do usuário foram realmente duplicados. Remover as duplicatas com o dconf-editor parece consertá-lo. Obrigado a don_crissti por me apontar na direção certa!