Re the workaround in my comment above (#55):
The problem returned a day or two after I reported that the workaround had done the trick.
Re the workaround in my comment above (#55):
The problem returned a day or two after I reported that the workaround had done the trick.