Minor improvements#1089

duncdrum merged 4 commits intoeXist-db:mastereXist-db/documentation:masterfrom

line-o:minor-patchline-o/documentation:minor-patchCopy head branch name to clipboard