pid_namespaces.7: Mention /proc/[pid]/ns/pid_for_children