How can one get the region name in AWS CDK?
Some SDKs provide Region objects (see also this question)
Inside a CDK construct, self.region is available, and cdk.aws_region has a RegionInfo class, but it doesn't provide the name, eg: ap-southeast-1 -> Singapore