Man pages matching name corexy_by_hal in section 9:

corexy_by_hal.9.en

debian 12 / linuxcnc-uspace