I've finally found the perfect use for GitHub CoPilot: generating Cloudformation templates and converting them to CDK constructs. Who writes these monstrosities by hand?