It's possible to do HTTPS MITM detection! https://caddyserver.com/docs/mitm-detection (seems to exploit the fact that most MITM proxies are simplistic wrt UA)