Add mention of INI file