Well, this problem disappeared, probably due to an update that came in subsequently. This can now be closed.
Well, this problem disappeared, probably due to an update that came in subsequently. This can now be closed.