usermanual : rework lua attributes according to what upegelow told me to do
Merge branch 'master' into usermanual
usermanual.lua: a few fixes
Merge branch 'master' into usermanual
usermanual : fix link id to be XML compliant
usermanual: a first small step to make xmllint happy
usermanual: further minor fix in usermanual.lua
usermanual: make xmllint happy
usermanual: proofreading thanks to Mark Garrow
usermanual: minor update to usermanual.lua
usermanual: make DOCTYPE match content of file
usermanual: pretty-print docbook sources
usermanual: pretty-print reworked a bit
usermanual: documentation of implemented feature request #9709 (manually adapted from pull request #390)
Merge branch 'master' into usermanual
Merge branch 'master' into usermanual

Conflicts:
	doc/usermanual/lighttable/panels/export.xml
	doc/usermanual/lua/lua.xml
	doc/usermanual/tethering/troubleshoot.xml
	doc/usermanual/topics/opencl.xml
usermanual: give proper credits to major contributors
Revert "usermanual: documentation of implemented feature request #9709 (manually adapted from pull request #390)"

This reverts commit eda647408a0e78225b4bf5db67bccb63655da7be.

we temporarily revert these changes as they reflect darktable post-1.4 and we want to
use the reworked usermanual sources for 1.4 already. we can revert this revert later.
usermanual: increase manual version number to 1.4.1
usermanual: minor changes