As you suggested, I ran the updates. All bar one installed nicely. The rogue one: KB3031432 returned the error 8024200D. It is 2.57am local time and perhaps a little late for a pensioner to come to terms with this circumstance. However, subject to having slept on it, I fancy the best thing would be to repeat the performance and start another thread.