Spooky - I had been meaning to post and ask about this, and had taken a photo of my Settings screen to post with it. I don't remember precisely when I noticed that my HDR-1000S had updated, but I took the photo on 29th December.
https://photos.app.goo.gl/48yg3EnLy8qehBGU7
Edit: I had tried to embed an image in this post using its URL. Is there some more info somewhere on how that can be done, e.g. limits on file sizes, formats, dimensions, allowed and disallowed source domains, etc?