Documentation updates

A few of these commits are actual content changes, removing obsolete tweaks and updating links.  The rest just make GitHub's representation look nicer.