We have actually been given one vaguely good reason: it's been
suggested that this might improve the experience of people using
screen readers. However, fixing
`windows-scrollopt' should have
the same effect and probably be easier.