hal_manualtoolchange(1) on Linux

The text cacb19d0c10e, as Debian 12 (Bookworm) shipped it.

HAL userspace component to enable manual tool changes.

hal_manualtoolchange(1) on Linux now