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

Without that option, I think it might be confusing or annoying to scroll up just to switch the language.

Good suggestion! We’ve got a list of follow-ups to to take care of now that this first batch of improvements is out, and this is definitely on the list, along with being able to anchor to a specific property.