input-mouse(7) on Linux

The text 4db2ac979e33, as Debian 4.0 (Etch) shipped it.

input-mouse(7) on Linux now