Para evitar o incômodo (e para muitas pessoas, medo e intimidação) de editar o registro, você pode usar o utilitário de reparo gratuito, excelente e não invasivo, que realmente realiza qualquer bem (em comparação com muitos outros crapware), tweaking.com Reparo do Windows .
Especificamente: instale-o, pule para a guia "Reparos", clique em "Abrir reparos" e marque "04 Registrar arquivos do sistema" e clique no botão "Iniciar reparos".
A interface do usuário desse programa foi alterada ao longo do tempo; portanto, no futuro, qualquer pessoa que fizer isso poderá precisar explorar o programa para encontrar essa opção.
Eu arriscaria supor que existem muitos outros problemas no computador do seu chefe, para que ele queira executar todos os reparos do programa, o que pode levar horas, dependendo.
Nota: Eu não sou afiliado ao tweaking.com; Eu sou apenas um grande fã do programa. O uso qualificado dele salvou o sistema operacional do meu computador ou resolveu problemas persistentes várias vezes.