The text 872beb114d6a, as Debian 9 (Stretch) shipped it.
overview of Linux PID namespaces
pid_namespaces(7) on Linux now
