So late yesterday, the warning messages in the Google webmaster tools Dashboard under Security Issues suddenly disappeared, and were replaced by the text "Currently, we haven't detected any security issues with your site's content."
OK...
So anyway, it appears to be fixed. Shrug.