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.