Linux and Windows have disproportionately slow wheel-to-zoom speed #707