#665 ssh option documented