Haproxy is definitely under-appreciated for the amount of heavy lifting it does in a high-scale deployment.
I think you'll find they're using ARR and not HAProxy for the "batteries included" load balancer. You can tell this from the cookie names "ARRAffinity" and "ARRAffinitySameSite".