Add options and comments in config.ml