Hi folks, with Thursday being Thanksgiving in the US, you may find that the number of people from Pulumi on here to be reduced over Thursday and Friday.