hal_input(1) on Linux

The text 3bfe83b4302f, as Debian 13 (Trixie), Debian 12 (Bookworm) shipped it. The page shows this text now.

control HAL pins with any Linux input device, including USB HID devices