And here is the reason: it's a bug-feature in AWS API Gateway:
https://github.com/aws/aws-cdk/commit/78c858f26fe9b688dc0260d7e8a59004b57c388d