work_queue_pool(1) on Linux

The text bcecf83d247f, as Debian 10 (Buster) shipped it.

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

work_queue_pool(1) on Linux now