Fired up the Linux box this evening, and for the first time the update routine worked and downloaded all the patches (of which there were several) AND I didn’t need to reboot 🙂
Update I actually did this last night as I was again posting to the wrong blog – oops!