xsetpointer(1x) on Linux

The text b86f9d126bb2, as Debian 3.1 (Sarge) shipped it. The page shows this text now.

set an X Input device as the main pointer

xsetpointer(1x) on Linux now