When using S3 to store the checkpoint files for Pulumi, it would appear that stack names must be unique across all projects. (I say this because I see stack names listed in

<bucket>/.pulumi/stacks

that aren't differentiated across projects.) Or is the recommendation to use a different S3 bucket for each project?