Maintenance release - this release addresses an issue with Subversion and exclusive edit rights as well as a few minor issues in the tool and documentation. For a list of resolved issues, see the changelog.