It took a couple of goes this time. Perhaps it could have been the server? Normally I have WiFi switched off, and when I switched it on the player did not see the update. I tried this a few times. I found that I had to power off with the WiFi enabled, then power back on, and then the player could see the update and it proceeded without further issues. Like some previous updates, the player did a full re-sync after the update.