This is why one would prefer to run. NGINX over a formally verified http server.