Appeasing github.
Appeasing github (II)
Merge branch 'master' into devel

Conflicts:
	usr/share/mkdoc/Core/log.sh
Docs, further development directions.