Contributors to 2013-08-12 Page up and page down with a Logitech Marble on Linux