never went to ios 17 even with auto update on so I went to do it manually just now and saw the option to update to 16.7.2