Hi all, I came across the fact that in python pulumi_aws, pulumi_aws.eks.NodeGroupScalingConfigArgs has desired_size as required. Does this make sense somehow? I thought it should be optional; for an autoscaling eks cluster, I’d like some way to be able to update the other scaling configs without changing desired count.