procps_pids(3) on Linux

The text fdde7c1b8303, as Debian 13 (Trixie) shipped it.

API to access process information in the /proc filesystem

procps_pids(3) on Linux now