wait_task_stopped(9) on Linux

The text b131b1d2eb7c, as Debian 8 (Jessie) shipped it. The page shows this text now.

Wait for TASK_STOPPED or TASK_TRACED

wait_task_stopped(9) on Linux now