Fix a number of discovered typos, capitalization of developer and

product names, plus a couple of instances of bad Markdown markup.