work_queue_pool(1) on Linux

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

maintain a pool of Work Queue workers on a batch system.

work_queue_pool(1) on Linux now