FYI this really isn't anything new and calling the functionality exposed by GitHub Copilot as InfraCopilot isn't really helpful tbh.
This post could be the same post just totally removing all InfraCopilot references and saying using Copilot for IaC.
That said we really don't need to confuse things by redefining GitHub Copliot as InfraCopilot or JavaScriptCopilot or dotnetCopilot etc etc etc unless they are built not just using GitHub Copilot as the underlying tool but one that works across not only GitHub but internet searches and other data stores like GitLab or Bitbucket or blogposts or internal applications like knowledgebases etc
But other than that this is a good post, and I hope gets more interested in using this good bit of tooling in future