add documentation of options.helpFile and enhance the logger