Any of course, https://www.pulumi.com/docs/search/?q=config isn't loading for me. So just a heads up incase wasn't reported yet.