Everyone seems to have ignored the important bits of info in my original post: This only started happening when I installed fedora 31, and it started happening on two separate systems the same way :-).
The mice worked for years with no problems before f31.