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

That's interesting. Can you file an issue in <https://github.com/pulumi/docs>?

Looks like one already exists: <https://github.com/pulumi/docs/issues/1901>

Also <https://github.com/pulumi/docs/issues/1623>

Maybe <https://github.com/pulumi/docs/issues/1585>? Not sure.