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.