But will we explain to the user how to change this ? If yes it should be before the internal part of the config file. Otherwise we keep it here