make Ctrl-up be equivalent of PageUp and Ctrl-Down equivalent of PageDown, as recently requested in forums