Hi,

  1/ You defined these settings in the ---- Internal use only ---- part of the configuration file thus it something that end users should not touch ? In that case is it useful to expose them here ? => My goal is one day to remove/hide all these internal settings from a end user configuration file.