Thanks for update. I re-booted after install and, as far as I’m aware, correctly installed all the updates. I’ll double-check the install later in case I’ve missed something.