rename "DEBUG" config setting
doc the ExtraDebugLogging setting (#170)