I recommend removing the second point from the documentation unless my logic is wrong regarding the shuffling that Pulumi could perform to avoid autonaming.