Question - can those materials - https://pulumi.awsworkshop.io/ be used for internal workshops ? Trying to sell pulumi to internal teams takes some effort and they are so great it would be shame not the spread them : )