SSH_Agent: phpdoc updates