So, after a restart all is now OK. I have screenshots to prove it did happen! But if it doesn't recur, I guess this can be ignored. Apologies for the noise.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

