Initially we considered dropping the `ini` config, but the current stance is we keep `config.ini.php` because it's a user friendly config.