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 eventually found the `Dockerfile` source (<https://github.com/pulumi/pulumi/blob/master/dist/docker/Dockerfile>)
Always good to know how it was built, so it would be nice if it was linked to from <https://hub.docker.com/r/pulumi/pulumi>.

Definitely!  Just added a note about this to the Overview on DockerHub.