Thanks for noting these. From my experience, neither can replace terraform (though Pulumi might be on the right track). Neither come anywhere close to the Terraform AWS provider, and tightly coupling my IaC to Kubernetes is a non-starter for me (and I'm sure for many others as well).
