Acabou de verificar o Windows Update e havia algumas atualizações disponíveis. Instalou-os e o problema desapareceu.
O interessante é que eu já tinha executado o Windows Update e instalei tudo o que estava disponível, tanto opcional como não opcional, como há um mês. Mas parece que instalou apenas parcialmente, já que alguns dos que eu instalei hoje eram mais antigos que isso.