I think those copyright headers are probably just out of sync, but I'd raise an issue to firstly get it checked and secondly to get those headers synced with the top level Apache-2.0 license file.
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.
