This contains minor changes to ease maintaining the document (e.g. by using reference-style links so that an URL needs to be updated only in a single place) and adds explicit anchors to ease linking to a certain section.
