prctl: remove the man page excerpt