Your solution works. Thanks! (Maybe add a semicolon between the commands to make it even easier. ;))

If I simply go that folder, duplicate 15.5, rename to 15.7 and restart Xcode, the "15.7" doesn't show up in the drop-down menu. What am I missing?