filter-mouse(7) on Linux

The text a765c8929e16, as Debian 3.1 (Sarge) shipped it.

filter-mouse(7) on Linux now