I was being too brief, perhaps :)
Obviously, when upgrading from Jessie to Stretch last december, I ran:
> apt update
> apt upgrade
> apt dist-upgrade
which was all good. Last week I ran
> apt update
> apt upgrade
and a subsequent reboot - all good.
It was only after yesterday's
> apt-get...