[ssh-agent.1 sshd.8 sshd_config.5] use process ID vs. pid/PID/process identifier
[ssh.1 sshd.8] move configuration file options from ssh.1/sshd.8 to ssh_config.5/sshd_config.5; ok deraadt@ millert@