Update version in documentation and source.