My system has now been up for 6 days with no occurrence of the problem. Maybe one of the upgrades I have done has cured it. So it looks like the problem has been fixed, whatever it was.
My system has now been up for 6 days with no occurrence of the problem. Maybe one of the upgrades I have done has cured it. So it looks like the problem has been fixed, whatever it was.