Any idea on how to configure the $default route in https://www.pulumi.com/docs/reference/pkg/nodejs/pulumi/awsx/apigateway/ so that all my urls aren't prefixed with /stage (default stage name) -- https://docs.aws.amazon.com/apigateway/latest/developerguide/apigateway-websocket-api-routes-integrations.html. If I use $default for the stage name pulumi says $ is not a valid name