A versão 1.0.11 do DCTools já está online. Esta atualização corrige um problema identificado no instalador, que não estava implantando :
Obrigado a todos pelos vossos comentários, que nos ajudam a melhorar continuamente a ferramenta 🙏