Hi, I've set up an ApiGatewayV2 with a certificate, and I've gotten everything to work. I configured my

Pulumi.Aws.ApiGatewayV2.DomainName

to be

REGIONAL

, which means I need

RegionalDomainName

to set up the certificate. Problem is, there's no way to get the

RegionalDomainName

from the

Pulumi.Aws.ApiGatewayV2.DomainName

. To fix this, we had to make a lookup on

Pulumi.Aws.ApiGateway.DomainName

(not V2), which has the

RegionalDomainName

. Am I missing something? Is this just a missing (for now) feature? AWS CDK does have the

RegionalDomainName

in

ApiGatewayV2

.