To specify: Aborted due to pain in my right hand while scrolling. I did get a CT scan of that hand due to a sporting accident, though, and it got better a few weeks later.

Also, my OS usually allows me to change line skips per mouse wheel increment to three quarters of a page. That does not seem to work here.

Agreed, my other mouse is free-scrolling, it would be fun to scroll huge distances (IN SPACE!) there.

I initially found none of the helpers that scroll somewhere, but thanks for all the tips here and in other replies.