fixed reports user checkbox
reports labels
merge with dev-gradle
small fix for documentation
merge tweaks into dev-gradle