Apparently the menu on my website was broken.
I think the problem occurred after the last theme update.
Only this morning did I realize the problem.
I started tinkering around with it, and finally deleted it out of disgust.
That appears to have fixed the problem.
So, the menu was fixed by deleting it.
Your guess is as good as mine.