My mouse seemed to cease working satisfyingly, cleaning didn’t help, so I bought a new one; not a sumptous expensive one, but a standard thing for 6.40 euros.
I plugged it in, it works beautifully. Now, for no apparent reason (most likely boredom), I click the middle one of its three buttons (I never use the middle button), and boom! the cursor changes into a circle with two arrows that allows me to scroll down much more comfortably than with keys or the bar on the right - just moving the mouse around, and everything’s fine! What a charm! It will revolutionize my behaviour. And make me wonder why my old mouse couldn’t do stuff like this.
Of course other have enjoyed similar, or better, things for a long time, but to me it’s new. And the best thing: I discovered it all alone. Tell me, isn’t that a source of pride?