Tweak Linux help text and Markdown formatting.

The original instructions didn't work for me.  This clarifies some of the things I learned, and incidentally fixes some formatting issues.