Running SSH commands on remote servers

Imnprove our documentation on how to run SSH commands on a remote server. (Also make some minor changes to the Markdown syntax used in the file.)