Merge branch 'release/0.5' into develop
Corrections and updates to documentation.
Update to hotfix module: removed artefacts from old version.
Merge branch 'hotfix/0.5a' into develop
Merge branch 'develop'