Well, after putting up with this bug for a long time, I got on to Feedback, and made a new Bug Report. I also made a movie of the scroll attempt and it not working.
That was good.
Now this morning I decided to send in the project as additional info.
Guess what ? Scroll selecting works today.
I will have to wait for the mouse to reappear …