Have done so, and rebooted half a dozen times since without being able to reproduce the problem yet...
Have done so, and rebooted half a dozen times since without being able to
reproduce the problem yet...