Merge remote-tracking branch 'origin/bugfix/6760_loadinst_duplicate_logs'
re #667 improved documentation
Merge branch 'feature/669_MaskBins_doc' into develop