This release is a bugfix release, fixing 2 annoying regressions in 1.7.2.
Highlights of this release:
See here for v1.7.2 release notes. You can download the new version here. For the complete changes see the changelog.
You have JavaScript disabled or your browser doesn't support it. Some features, like the navigation button, won't be available.