Well, as I mentioned in my first post, the problem does not happen all the time, but erratically. Since I posted this message on Thursday, the problem did not occur again.
The only thing I can think of is that, when this problem occurred, I had an USB-C hub with additional USB slots, to which...