Thanks ShadowOwl.
Looks like it's been fixed, with both the recent games updated. But really, GOG, why a 3GB re-download just to add the bloody manual?!!
It's annoying, what GOG's doing lately. Any updates seem to require massive downloads. Couldn't this be achieved with a patch file and an amended Installer? Or is this because of Galaxy? (A lot of peopl;e in the world have bandwidth limits, which is why we go for the Downloader rather than Galaxy in the first place.)