Some additional info: using the vertical scroller with the mouse to scroll vertically just works fine (dragging the thumb or clicking below the thumb). using the Home and End keys just works fine.