Hi @Lucas Budas
Please note that proxy configuration for Entra Connect health agent is not in the machine.config file.. You have setup proxy using the following commands mentioned in the following MS article:
Change the agent proxy configuration
Please don't forget to accept helpful answer