Improved markdown (and thus rendered documentation) which makes it easier to copy, and conforms with the overall style of this documentation page.