Prettier url for changesets (#1443).
Version number updated.
Merged r1546 from trunk.
Doc update for 0.7.2 release.
Merged r1544 from trunk.
Adds links to repository directories in the browser (#1094).
Merged r1542 from trunk.
Fixed: TOC does not remove colorization markups (#1423).
Merged r1376 from trunk.
Translation updates.