Merge branch 'documentation' into develop
Change release version number in dist.ini
Merge branch 'develop'