devcommand-40: Improved the configuration file format.