An updated version of Apple’s mobile operating system has just been released. This contains a number of tweaks, but can’t really be considered a major upgrade.