Formatting galore

Almost all of this is just cleaner Markdown, but there are some highlights done - for readability.