I am trying to figure out how to have a different name for my API gateway’s stages. For example, we want our production environment to use the stage ‘prod’ when configuring and deploying but our CloudFront expect the api gateway’s stage to be named ‘api’. I found an old topic but it had no working solution. Am I missing something simple here?