O seguinte parece ter corrigido: (Os passos 1 e 2 que descrevi quando publiquei o problema)
- encerrei meu laptop.
- Eu removi a bateria e, depois de desconectar meu laptop, esperei 15 segundos.
- Após a reinicialização, todos os ctrl +? combinações começaram a funcionar novamente ...
Obrigado!