Minor tweaks to formatting and style (most notably to take advantage of GitHub's new relative links)