No matter how you like to participate in developer communities, Pulumi wants to meet you there. If you want to meet other Pulumi users to share use-cases and best practices, contribute code or documentation, see us at an event, or just tell a story about something cool you did with Pulumi, you are part of our community.

Pulumi Community

I've raised a bug on the aws repo about this: <https://github.com/pulumi/pulumi-aws/issues/2513>

Thanks! I’ll keep an eye on the issue. Can’t yet contribute myself but maybe in the future.

I can confirm that the issue is resolved in `@pulumi/aws`  v5.40.0. Many, many thanks for the quick resolution! :pray: