This message was deleted.

Thanks for opening these - great to track them. Should be easy to upstream these remappings into the pulumi-cdk library itself.