This was needed to get the macOS 13 SDK when Xcode 14.0 was the default. It no longer is (at the time of writing the default is 14.2), so we can (and probably should) stop pinning to the older 14.1