• fixes two tiny bugs in my previous patch, one in cocoa.py and one in expect.py (that's 5827.patch ), thanks dropdrive on #sage-devel

• add doc on how to do ssh through hops
  (that's 5828.patch )

Component: user interface

Issue created by migration from https://trac.sagemath.org/ticket/483