tag for new release
General bugfixing
0.9.4 version
Merge branch 'develop'
release 0.9.2
Release 0.9.1: Minor UI improvements on documents view
Merge branch 'documentation-fixes' into develop