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

could you file an issue for this, it’s very likely a bug

There's already an issue: <https://github.com/pulumi/pulumi/issues/9830>

interestingly, the flag exists. It's just a no-op

yeh, it ought to apply to display as well though. Would make sense