Generalize ssh configuration.
Start the proxy later.
Add a few minor comments.