I think that we don't really set up the server anew with each request, the Mangum docs can probably explain it better: https://mangum.io/adapter/