A different question: in iOS, if you have downloaded but have not installed an update and a new one becomes available, what happens then? I can guess obviously but I wonder if it throws the first patch away, or applies it and then only needs a tiny patch for say a second dot-1 minor update for example, which is small.