On Mon, 31 Oct 2022 10:26:16 -0400
Tom Horsley wrote:
So something about a complete power down seems to have made it
better.
And I tried rebooting again, and that is working now as well. So the
power cycle does seem to have made it all better. I guess I'll find
out in a few days if there is some creeping corruption that screws
up the system over time.